VerifAPS/verifaps-lib

master

verifaps-lib

Grade	Name	Complexity	Churn	Issues
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\parser\SyntaxErrorReporter.kt	5	4	1
D	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\monitor\cmonitor.kt	14	4	11
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\scope\Scope.kt	51	4	1
A	lang\src\test\kotlin\edu\kit\iti\formal\automation\ProgramTest.kt	0	4	-
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\model\options\ConcreteTableOptions.kt	1	4	-
B	lang\src\main\kotlin\edu\kit\iti\formal\automation\experimental\java.kt	13	4	4
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\il\print.kt	20	4	-
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\io\TestTableLanguageBuilder.kt	49	4	-
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\GetetaFacade.kt	34	4	-
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\operators\Operators.kt	1	4	-
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\datatypes\values\Value.kt	6	4	-
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\io\TblLanguageToSmv.kt	18	4	2
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\datatypes\values\MultiDimArrayValue.kt	0	4	1
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\datatypes\values\TimeData.kt	1	4	-
C	lang\src\main\kotlin\edu\kit\iti\formal\automation\analysis\checks.kt	57	4	7
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\commoncli.kt	2	4	-
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\analysis\ai.kt	68	4	3
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\datatypes\DataTypes.kt	7	4	-
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\analysis\RewriteEnums.kt	6	4	-
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\NiceErrorListener.kt	4	4	-