master
FalCAuN
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
core\src\main\java\net\maswag\falcaun\parser\package-info.java
 1 -
A
example\kotlin\bouncing_ball.main.kts
 3 -
A
example\kotlin\button_detector.main.kts
 2 -
A
core\src\test\java\net\maswag\falcaun\AdaptiveSTLListTest.java
0 2 -
A
example\kotlin\format.sh
 1 -
A
example\kotlin\lint.sh
 1 -
A
core\src\test\java\net\maswag\falcaun\ArgParserTest.java
0 2 -
A
example\kotlin\mealy-nox.main.kts
 4 2
A
example\kotlin\mealy-python.kts
 4 -
A
core\src\test\java\net\maswag\falcaun\BlackBoxVerifierTest.java
0 3 -
A
example\kotlin\mealy.main.kts
 8 2
A
example\kotlin\mealy_python.py
0 1 1
A
example\kotlin\pacemaker.main.kts
 9 -
A
example\kotlin\simglucose1.kts
 7 1
A
core\src\main\java\net\maswag\falcaun\OutputMapperReader.java
0 4 -
A
core\src\test\java\net\maswag\falcaun\ExtendedSignalMapperTest.java
0 2 -
A
example\kotlin\simglucose2.kts
 7 1
A
example\kotlin\simglucose3.kts
 7 1
A
example\kotlin\simglucose4.kts
 3 1
A
example\kotlin\simglucose5.kts
 3 -