master
tchecker
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\utils\log.cc
9 2 -
A
src\tck-syntax\tck-syntax.cc
36 2 -
A
src\tck-simulate\tck-simulate.cc
30 1 -
A
src\tck-simulate\simulate.hh
0 1 -
A
src\tck-simulate\simulate.cc
31 1 -
A
src\tck-simulate\graph.hh
4 1 -
A
src\tck-simulate\graph.cc
10 1 -
A
src\tck-reach\zg-reach.hh
4 3 -
A
src\tck-reach\zg-reach.cc
13 1 -
A
src\tck-reach\zg-covreach.hh
4 2 -
A
src\tck-reach\zg-covreach.cc
13 1 -
A
src\tck-reach\tck-reach.cc
46 1 1
A
src\tck-reach\concur19.hh
4 3 -
A
src\tck-reach\concur19.cc
22 3 -
A
src\ta\transition.cc
11 1 -
A
src\ta\ta.cc
38 3 -
A
src\ta\system.cc
44 2 -
A
src\ta\static_analysis.cc
4 1 -
A
src\ta\state.cc
6 1 -
A
src\system\system.cc
31 1 -