MasWag/FalCAuN

master

FalCAuN

Grade	Name	Complexity	Churn	Issues
A	core\src\main\java\net\maswag\falcaun\HillClimbingEQOracle.java	4	1	-
A	matlab\src\main\java\net\maswag\falcaun\simulink\SimulinkModel.java	67	3	-
A	core\src\test\java\net\maswag\falcaun\parser\NumericSULMapperOutputTest.java	13	1	-
A	matlab\src\main\java\net\maswag\falcaun\simulink\SimulinkSUL.java	3	2	-
A	core\src\main\java\net\maswag\falcaun\StaticSTLList.java	0	2	-
A	matlab\src\main\java\net\maswag\falcaun\simulink\package-info.java		1	-
A	core\src\test\java\net\maswag\falcaun\parser\STLAtomicTest.java	5	2	-
A	matlab\src\test\java\net\maswag\falcaun\simulink\AutotransExample.java	18	1	-
A	matlab\src\test\java\net\maswag\falcaun\simulink\SimulinkSULMapperTest.java	3	1	-
A	core\src\test\java\net\maswag\falcaun\parser\STLParserTest.java	3	1	-
A	matlab\src\test\java\net\maswag\falcaun\simulink\SimulinkSULVerifierTest.java	3	2	-
A	core\src\main\java\net\maswag\falcaun\TimeMeasure.java	3	2	-
A	matlab\src\test\java\net\maswag\falcaun\simulink\NumericMembershipOracleTest.java	1	2	-
A	core\src\test\java\net\maswag\falcaun\parser\STLSubTest.java	0	1	-
A	.circleci\config.yml		6	-
A	.github\workflows\deploy-docs.yml		7	-
A	.github\workflows\reviewdoc.yml		3	-
A	core\src\main\java\net\maswag\falcaun\AdaptiveSTLUpdater.java	4	4	-
A	core\src\main\java\net\maswag\falcaun\IOContinuousSignal.java	14	6	-
A	core\src\main\java\net\maswag\falcaun\StopDisprovedEQOracle.java	6	4	-