nagsides/tchecker

master

tchecker

Grade	Name	Complexity	Churn	Issues
A	src\system\edge.cc	40	1	-
A	src\system\event.cc	5	1	-
A	src\system\intvar.cc	5	1	-
A	src\system\loc.cc	30	1	-
A	src\system\process.cc	5	1	-
A	src\system\system.cc	31	1	-
A	src\ta\state.cc	6	1	-
A	src\ta\static_analysis.cc	4	1	-
A	include\tchecker\ta\allocators.hh	11	1	-
A	src\ta\transition.cc	11	1	-
A	include\tchecker\ta\state.hh	4	1	-
A	src\tck-reach\tck-reach.cc	46	1	1
A	include\tchecker\ta\static_analysis.hh	0	1	-
A	src\tck-reach\zg-covreach.cc	13	1	-
A	src\tck-reach\zg-reach.cc	13	1	-
A	src\tck-simulate\graph.cc	10	1	-
A	src\tck-simulate\graph.hh	4	1	-
A	ci-scripts\docker-image-build-publish.sh		1	-
A	examples\ad94.sh		1	-
A	src\tck-simulate\simulate.cc	31	1	-