VerifAPS/verifaps-lib

master

verifaps-lib

Grade	Name	Complexity	Churn	Issues
F	lang\src\main\kotlin\edu\kit\iti\formal\automation\st\ast\ast.kt	48	6	7
F	lang\src\main\kotlin\edu\kit\iti\formal\automation\parser\IECParseTreeToAST.kt	108	5	12
D	symbex\src\main\kotlin\edu\kit\iti\formal\automation\exceptions\exceptions.kt		3	20
D	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\monitor\cmonitor.kt	14	4	11
C	lang\src\main\kotlin\edu\kit\iti\formal\automation\analysis\checks.kt	57	4	7
C	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\viz\ods.kt	45	6	5
B	symbex\src\main\kotlin\edu\kit\iti\formal\automation\blocks\analyze.kt	15	3	10
B	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\menu\ConfigDialogManager.kt	4	5	7
B	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\table\SpecificationTable.kt	20	6	7
B	stvs\src\test\kotlin\edu\kit\iti\formal\stvs\logic\io\xml\RandomTableGenerator.kt	67	4	5
B	lang\src\test\kotlin\edu\kit\iti\formal\automation\datatypes\DataTypeAssignabilityTest.kt	0	3	9
B	lang\src\main\kotlin\edu\kit\iti\formal\automation\st\TranslationSfcToStPipeline.kt	32	4	3
B	lang\src\main\kotlin\edu\kit\iti\formal\automation\experimental\java.kt	13	4	4
B	ide\src\main\old\ide\tools\ttpreview.kt	58	1	9
B	aps-rvt\src\main\kotlin\edu\kit\iti\formal\automation\rvt\modularization\strategy.kt	83	5	3
A	.trash\sfc\PseudoTransitionBuilder.java	3	1	-
A	.trash\ValueFactory.java	67	1	2
A	.trash\sfc\SFCBuilder.java	11	1	-
A	.trash\sfc\SelectionConvergenceBuilder.java	9	1	-
A	.github\workflows\nightlydeploy.yml		8	-