master
FalCAuN
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
example\emsoft2025\WhiteBoxMealy\mealy_falsification.kts
 2 -
A
core\src\test\java\net\maswag\falcaun\OutputMapperTest.java
0 1 -
A
example\hscc2020\result_name.yaml
 1 -
A
core\src\main\java\net\maswag\falcaun\MealyFixedSetEQOracle.java
5 2 -
A
core\src\main\java\net\maswag\falcaun\parser\TemporalConst.java
8 2 -
A
core\src\main\java\net\maswag\falcaun\GAEQOracle.java
4 4 -
A
core\src\main\java\net\maswag\falcaun\SignalAdapter.java
14 5 -
A
core\src\test\java\net\maswag\falcaun\SGAMapperTest.java
2 3 -
A
example\hscc2020\run_falcaun_all.sh
 1 -
A
core\src\main\java\net\maswag\falcaun\AbstractAdaptiveSTLUpdater.java
23 5 -
A
example\hscc2020\run_table4_breach.sh
 1 -
A
core\src\main\java\net\maswag\falcaun\parser\TemporalGlobally.java
10 2 -
A
core\src\test\java\net\maswag\falcaun\SignalAdapterTest.java
0 1 -
A
core\src\main\java\net\maswag\falcaun\SignalDeriver.java
1 2 -
A
core\src\test\java\net\maswag\falcaun\SignalDeriverTest.java
3 2 -
A
core\src\test\java\net\maswag\falcaun\SignalTest.java
13 2 -
A
core\src\main\java\net\maswag\falcaun\GASelectionKind.java
 1 -
A
core\src\main\java\net\maswag\falcaun\SignalDiscretizer.java
7 1 -
A
core\src\test\java\net\maswag\falcaun\SimpleSignalMapperTest.java
0 2 -
A
core\src\test\java\net\maswag\falcaun\StaticSTLListTest.java
0 2 -