VerifAPS/verifaps-lib

master

verifaps-lib

Grade	Name	Complexity	Churn	Issues
C	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\viz\ods.kt	45	6	5
A	ide\src\main\old\ide\editor.kt	42	1	1
A	.trash\stoo\trans\BranchEffectiveTypes.java	41	1	1
A	ide\src\main\old\ide\services.kt	41	1	1
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\datatypes\dt.kt	40	4	2
A	.trash\asdl\src\main\kotlin\edu\kit\iti\formal\asdl\ASDL.kt	38	1	1
A	symbex\src\main\kotlin\edu\kit\iti\formal\automation\rvt\SymbolicExecutioner.kt	36	3	1
A	ide\src\main\old\ide\services\config.kt	35	1	-
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\GetetaFacade.kt	34	4	-
A	symbex\src\main\kotlin\edu\kit\iti\formal\automation\il\ilsymbex.kt	34	3	1
B	lang\src\main\kotlin\edu\kit\iti\formal\automation\st\TranslationSfcToStPipeline.kt	32	4	3
A	stvs\src\main\kotlin\edu\kit\iti\formal\stvs\view\spec\table\AdvancedCellUtils.kt	32	3	2
A	symbex\src\main\kotlin\edu\kit\iti\formal\automation\st0\trans\ArrayEmbedder.kt	31	3	3
A	smv\src\main\kotlin\edu\kit\iti\formal\smv\SMVPrinter.kt	31	5	2
A	.trash\stoo\trans\MethodToFunction.java	31	1	2
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\print\DSLTablePrinter.kt	30	4	1
A	geteta\src\main\java\natorder\NaturalOrderComparator.java	29	2	-
A	symbex\src\main\kotlin\edu\kit\iti\formal\automation\cpp\translatecpp.kt	29	4	-
A	lang\src\main\kotlin\edu\kit\iti\formal\automation\st\util\AstVisitor.kt	29	4	1
A	geteta\src\main\kotlin\edu\kit\iti\formal\automation\testtables\model\GeneralizedTestTable.kt	27	6	-