wadoon/jml-extract

master

jml-extract

Grade	Name	Complexity	Churn	Issues
B	lib\src\main\java\jml\impl\NaiveASTFlattener0.java	375	1	3
A	example\JMLTest.java	3	6	-
A	lib\src\main\java\jml\JmlProject.java	51	8	1
A	lib\build.gradle.kts	3	5	-
A	lib\src\main\java\jml\JmlCore.java	15	6	1
A	exe\src\main\java\jml\Main.java	28	4	1
A	lib\src\main\java\jml\JmlSpecs.java	3	2	-
A	cli-tests.sh		1	-
A	example\JetbrainsAnnotationExample.java	1	1	-
A	lib\src\JmlAst.java		1	-
A	lib\src\main\java\jml\ASTCollector.java	2	1	-
A	lib\src\main\java\jml\JmlComment.java	28	6	-
A	exe\build.gradle.kts		2	-
A	lib\src\main\java\jml\JmlProblem.java		1	-
A	example\Abc.java		1	-
A	lib\src\main\java\jml\ASTProperties.java	6	3	-
A	exe\src\test\java\IntegrationTests.java	1	1	-
A	.travis.yml		2	-
A	docs\mkdocs.yml		2	-
A	example\Test.java	4	4	-