master
tchecker
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\vm\vm.cc
34 6 1
A
src\waiting\waiting.cc
1 1 -
A
src\zg\extrapolation.cc
41 1 -
A
src\zg\semantics.cc
21 1 -
A
src\zg\state.cc
7 1 -
A
src\zg\transition.cc
3 1 -
A
src\zg\zg.cc
22 2 -
A
src\zg\zone.cc
30 2 -
A
test\bugfixes\bug-004.sh
 2 -
A
test\bugfixes\bug-005a.sh
 2 -
A
test\bugfixes\bug-007.cc
1 2 -
A
test\bugfixes\bug-008a.sh
 2 -
A
test\bugfixes\bug-041.sh
 2 -
A
test\covreach\parse-labels.sh
 2 1
A
test\save-results.sh
 1 2
A
test\simple-nr\bubble-sort.sh
 3 1
A
test\tck-reach.sh
 1 -
A
test\test-driver.sh
 2 -
A
test\testutils\utils.cc
3 2 -
A
test\testutils\utils.hh
0 2 -