nagsides/tchecker

master

tchecker

Grade	Name	Complexity	Churn	Issues
A	src\refzg\transition.cc	3	1	-
A	include\tchecker\syncprod\transition.hh	4	1	-
A	include\tchecker\syncprod\vedge.hh	5	1	-
A	include\tchecker\syncprod\vloc.hh	5	1	-
A	src\syncprod\edges_iterators.cc	35	1	-
A	ci-scripts\show-config.sh		1	-
A	examples\fddi.sh		1	5
A	src\syncprod\label.cc	3	1	-
A	include\tchecker\system\attribute.hh	0	1	-
A	src\syncprod\state.cc	6	1	-
A	include\tchecker\system\clock.hh	4	1	-
A	src\syncprod\system.cc	74	1	-
A	src\syncprod\transition.cc	6	1	-
A	src\syncprod\vedge.cc	17	1	-
A	src\syncprod\vloc.cc	9	1	-
A	include\tchecker\system\event.hh	3	1	-
A	src\system\attribute.cc	8	1	-
A	examples\fire-alarm.sh		1	2
A	src\system\clock.cc	5	1	-
A	include\tchecker\system\intvar.hh	4	1	-