master
FalCAuN
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
core\src\main\java\net\maswag\falcaun\HillClimbingEQOracle.java
4 1 -
A
core\src\main\java\net\maswag\falcaun\AdaptiveSTLUpdater.java
4 4 -
A
core\src\main\java\net\maswag\falcaun\TimeMeasure.java
3 2 -
A
core\src\main\java\net\maswag\falcaun\annotation\SortedValidator.java
3 2 -
A
core\src\test\java\net\maswag\falcaun\parser\STLParserTest.java
3 1 -
A
core\src\test\java\net\maswag\falcaun\SignalDeriverTest.java
3 2 -
A
core\src\test\java\net\maswag\falcaun\parser\STLCostTest.java
3 1 -
A
core\src\main\java\net\maswag\falcaun\parser\RoSI.java
3 1 -
A
core\src\main\java\net\maswag\falcaun\LabeledEdge.java
3 2 -
A
core\src\main\java\net\maswag\falcaun\NumericMembershipOracle.java
3 3 1
A
core\src\test\java\net\maswag\falcaun\NumericSULMapperTest.java
3 2 -
A
matlab\src\test\java\net\maswag\falcaun\simulink\SimulinkSULVerifierTest.java
3 2 -
A
matlab\src\test\java\net\maswag\falcaun\simulink\SimulinkSULMapperTest.java
3 1 -
A
matlab\src\test\java\net\maswag\falcaun\simulink\SimulinkModelTest.java
3 2 -
A
matlab\src\main\java\net\maswag\falcaun\simulink\SimulinkSUL.java
3 2 -
A
core\src\main\java\net\maswag\falcaun\TimeoutEQOracle.java
2 2 -
A
core\src\main\java\net\maswag\falcaun\WhiteBoxEqOracle.java
2 2 -
A
example\kotlin\simglucose_example.py
2 2 1
A
example\clojure\simglucose_bb.py
2 1 1
A
core\src\main\java\net\maswag\falcaun\ComponentWiseSignalDiscretizer.java
2 2 -