nagsides/tchecker

master

tchecker

Grade	Name	Complexity	Churn	Issues
A	src\tck-reach\tck-reach.cc	46	1	1
A	src\refzg\semantics.cc	45	2	-
A	src\statement\typed_statement.cc	44	7	-
A	src\ta\system.cc	44	2	-
A	include\tchecker\parsing\declaration.hh	44	2	-
A	include\tchecker\utils\iterator.hh	42	2	-
A	include\tchecker\variables\variables.hh	41	5	2
A	src\zg\extrapolation.cc	41	1	-
A	src\system\edge.cc	40	1	-
A	include\tchecker\utils\pool.hh	38	2	-
A	src\ta\ta.cc	38	3	-
A	src\statement\static_analysis.cc	38	8	-
A	include\tchecker\utils\array.hh	37	4	3
A	test\unit-tests\test-extract_variables.hh	36	3	-
A	src\tck-syntax\tck-syntax.cc	36	2	-
A	src\statement\typechecking.cc	36	11	-
A	src\syncprod\edges_iterators.cc	35	1	-
A	include\tchecker\utils\shared_objects.hh	34	5	1
A	src\vm\vm.cc	34	6	1
A	src\system\output.cc	34	2	-