master
FalCAuN
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
core\src\test\java\net\maswag\falcaun\DotMealyWrapperTest.java
17 3 -
A
core\src\main\java\net\maswag\falcaun\SGAMapper.java
15 2 -
A
core\src\main\java\net\maswag\falcaun\parser\TemporalImply.java
15 2 -
A
core\src\test\java\net\maswag\falcaun\parser\TemporalNotTest.java
14 1 -
A
core\src\main\java\net\maswag\falcaun\AbstractSelectEQOracle.java
14 3 -
A
core\src\main\java\net\maswag\falcaun\SignalAdapter.java
14 5 -
A
core\src\main\java\net\maswag\falcaun\IOContinuousSignal.java
14 6 -
A
core\src\test\java\net\maswag\falcaun\SignalTest.java
13 2 -
A
core\src\test\java\net\maswag\falcaun\parser\NumericSULMapperOutputTest.java
13 1 -
A
core\src\main\java\net\maswag\falcaun\IOSignal.java
12 2 -
A
core\src\main\java\net\maswag\falcaun\ValueWithTime.java
12 6 -
A
examples\src\main\java\net\maswag\falcaun\example\BouncingBallSUL.java
12 2 -
A
core\src\main\java\net\maswag\falcaun\parser\AbstractTemporalLogic.java
12 2 -
A
core\src\main\java\net\maswag\falcaun\AtomicPropositionUtil.java
10 1 -
A
core\src\main\java\net\maswag\falcaun\BlackBoxVerifier.java
10 5 -
A
python\src\main\java\net\maswag\falcaun\python\PythonContinuousNumericSUL.java
10 2 -
A
examples\src\main\java\net\maswag\falcaun\example\ButtonDetector.java
10 2 -
A
core\src\main\java\net\maswag\falcaun\parser\TemporalGlobally.java
10 2 -
A
core\src\main\java\net\maswag\falcaun\IODiscreteSignal.java
9 1 -
A
core\src\main\java\net\maswag\falcaun\parser\STLOutputAtomic.java
9 2 -