nagsides/tchecker

master

tchecker

Grade	Name	Complexity	Churn	Issues
A	src\tck-reach\zg-reach.cc	13	1	-
A	src\tck-reach\zg-covreach.cc	13	1	-
A	test\unit-tests\test-cache.hh	13	2	3
A	include\tchecker\expression\expression.hh	13	4	-
A	include\tchecker\graph\allocators.hh	14	2	-
A	src\syncprod\vedge.cc	17	1	-
A	test\unit-tests\test-reference_clock_variables.hh	17	1	-
A	include\tchecker\ts\ts.hh	17	6	-
A	include\tchecker\algorithms\covreach\algorithm.hh	18	3	-
A	include\tchecker\ts\allocators.hh	18	2	2
A	include\tchecker\dbm\db.hh	19	4	-
A	src\variables\access.cc	20	3	-
A	src\refzg\refzg.cc	21	3	-
A	src\zg\semantics.cc	21	1	-
A	include\tchecker\syncprod\allocators.hh	22	1	-
A	src\tck-reach\concur19.cc	22	3	-
A	src\zg\zg.cc	22	2	-
A	include\tchecker\expression\typed_expression.hh	22	7	1
A	include\tchecker\utils\cache.hh	22	2	-
A	include\tchecker\statement\typed_statement.hh	24	8	1