VerifAPS/verifaps-lib

master

verifaps-lib

Grade	Name	Complexity	Churn	Issues
D	symbex\src\main\kotlin\edu\kit\iti\formal\automation\exceptions\exceptions.kt		3	20
F	lang\src\main\kotlin\edu\kit\iti\formal\automation\parser\IECParseTreeToAST.kt	108	5	12
D	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\monitor\cmonitor.kt	14	4	11
B	symbex\src\main\kotlin\edu\kit\iti\formal\automation\blocks\analyze.kt	15	3	10
B	ide\src\main\old\ide\tools\ttpreview.kt	58	1	9
B	lang\src\test\kotlin\edu\kit\iti\formal\automation\datatypes\DataTypeAssignabilityTest.kt	0	3	9
B	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\model\table\SpecificationTable.kt	20	6	7
B	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\menu\ConfigDialogManager.kt	4	5	7
F	lang\src\main\kotlin\edu\kit\iti\formal\automation\st\ast\ast.kt	48	6	7
C	lang\src\main\kotlin\edu\kit\iti\formal\automation\analysis\checks.kt	57	4	7
A	geteta\src\main\resources\synthesis\formula_to_program.py	22	1	6
A	geteta\src\main\resources\gtt-basic.css		1	5
C	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\viz\ods.kt	45	6	5
A	ide\src\main\kotlin\edu\kit\iti\formal\automation\fx\navigator.kt	6	4	5
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\exception\IllegalExpressionException.kt		3	5
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\exceptions\exceptions.kt		3	5
B	stvs\src\test\kotlin\edu\kit\iti\formal\stvs\logic\io\xml\RandomTableGenerator.kt	67	4	5
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\exception\IllegalClockCyclesException.kt		3	5
A	stvs\src\test\kotlin\edu\kit\iti\formal\stvs\model\table\HybridSpecificationTest.kt	0	4	4
B	lang\src\main\kotlin\edu\kit\iti\formal\automation\experimental\java.kt	13	4	4