VerifAPS/verifaps-lib

master

verifaps-lib

Grade	Name	Complexity	Churn	Issues
F	lang\src\main\kotlin\edu\kit\iti\formal\automation\parser\IECParseTreeToAST.kt	108	5	12
B	aps-rvt\src\main\kotlin\edu\kit\iti\formal\automation\rvt\modularization\strategy.kt	83	5	3
A	ide\src\main\old\ide\ide.kt	83	1	3
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\st\StructuredTextPrinter.kt	76	6	-
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\analysis\ai.kt	68	4	3
A	.trash\ValueFactory.java	67	1	2
B	stvs\src\test\kotlin\edu\kit\iti\formal\stvs\logic\io\xml\RandomTableGenerator.kt	67	4	5
B	ide\src\main\old\ide\tools\ttpreview.kt	58	1	9
C	lang\src\main\kotlin\edu\kit\iti\formal\automation\analysis\checks.kt	57	4	7
A	ide\src\main\old\ide\editors\gtt.kt	56	1	3
A	ide\src\main\old\ide\tools.kt	56	1	2
A	ide\src\main\old\ide\editors\st.kt	55	1	2
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\apps\synthesis.kt	52	7	2
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\scope\Scope.kt	51	4	1
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\st\HccPrinter.kt	51	4	1
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\io\TestTableLanguageBuilder.kt	49	4	-
A	ide\src\main\old\ide\problems.kt	49	1	-
A	run\src\main\kotlin\edu\kit\iti\formal\automation\run\OperationEvaluator.kt	49	3	2
F	lang\src\main\kotlin\edu\kit\iti\formal\automation\st\ast\ast.kt	48	6	7
A	ide\src\main\old\ide\utils.kt	46	1	1