master
FalCAuN
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
falcaun
 6 -
A
core\src\main\java\net\maswag\falcaun\ValueWithTime.java
12 6 -
A
core\src\main\java\net\maswag\falcaun\Signal.java
19 6 -
A
.circleci\config.yml
 6 -
A
core\src\main\java\net\maswag\falcaun\IOContinuousSignal.java
14 6 -
A
core\src\main\java\net\maswag\falcaun\BlackBoxVerifier.java
10 5 -
A
utils\check_env.sh
 5 1
A
core\src\main\java\net\maswag\falcaun\AbstractAdaptiveSTLUpdater.java
23 5 -
A
core\src\main\java\net\maswag\falcaun\SignalAdapter.java
14 5 -
A
core\src\main\java\net\maswag\falcaun\ArgParser.java
32 4 1
A
core\src\main\java\net\maswag\falcaun\OutputMapperReader.java
0 4 -
A
core\src\main\java\net\maswag\falcaun\parser\STLAbstractAtomic.java
18 4 -
A
core\src\main\java\net\maswag\falcaun\InputMapperReader.java
0 4 -
A
core\src\main\java\net\maswag\falcaun\StopDisprovedEQOracle.java
6 4 -
A
example\kotlin\mealy-nox.main.kts
 4 2
A
core\src\main\java\net\maswag\falcaun\GAEQOracle.java
4 4 -
A
example\kotlin\mealy-python.kts
 4 -
A
example\emsoft2025\AT\stl1.kts
 4 1
A
core\src\main\java\net\maswag\falcaun\AdaptiveSTLUpdater.java
4 4 -
A
core\src\test\java\net\maswag\falcaun\BlackBoxVerifierTest.java
0 3 -