nagsides/tchecker

master

tchecker

Grade	Name	Complexity	Churn	Issues
A	src\tck-reach\concur19.cc	22	3	-
A	src\syncprod\syncprod.cc	50	3	-
A	test\unit-tests\test-db.hh	33	3	5
A	src\tck-reach\concur19.hh	4	3	-
A	include\tchecker\clockbounds\clockbounds.hh	11	3	-
A	include\tchecker\dbm\refdbm.hh	0	3	-
F	test\unit-tests\test-dbm.hh	140	3	14
A	src\refzg\state.cc	10	3	-
A	include\tchecker\system\output.hh	0	3	-
A	src\refzg\zone.cc	24	3	-
A	.gitlab-ci.yml		3	-
A	src\expression\static_analysis.cc	94	3	-
A	include\tchecker\statement\static_analysis.hh	0	3	-
A	include\tchecker\refzg\zone.hh	9	3	-
A	test\unit-tests\test-refdbm.hh	120	3	-
A	test\unit-tests\test-extract_variables.hh	36	3	-
A	src\refzg\refzg.cc	21	3	-
A	src\expression\expression.cc	65	3	-
A	include\tchecker\utils\index.hh	30	3	1
A	include\tchecker\ts\state.hh	3	3	-