• Features
  • Pricing
  • Contact
    Login with:
  • Features
  • Pricing
  • Contact
Login with:
master
FalCAuN
Repository badge with A rating
View on GitHub

  • 45 issues
  • 12 pull requests
  • 278 files
  • 1 active branch

CodeFactor Rating A

  • {{format.Name}}
Grade
Name
Complexity
Churn
Issues
A
core\src\main\java\net\maswag\falcaun\HillClimbingEQOracle.java
4 1 -
A
matlab\src\main\java\net\maswag\falcaun\simulink\SimulinkModel.java
67 3 -
A
core\src\test\java\net\maswag\falcaun\parser\NumericSULMapperOutputTest.java
13 1 -
A
matlab\src\main\java\net\maswag\falcaun\simulink\SimulinkSUL.java
3 2 -
A
core\src\main\java\net\maswag\falcaun\StaticSTLList.java
0 2 -
A
matlab\src\main\java\net\maswag\falcaun\simulink\package-info.java
1 -
A
core\src\test\java\net\maswag\falcaun\parser\STLAtomicTest.java
5 2 -
A
matlab\src\test\java\net\maswag\falcaun\simulink\AutotransExample.java
18 1 -
A
matlab\src\test\java\net\maswag\falcaun\simulink\SimulinkSULMapperTest.java
3 1 -
A
core\src\test\java\net\maswag\falcaun\parser\STLParserTest.java
3 1 -
A
matlab\src\test\java\net\maswag\falcaun\simulink\SimulinkSULVerifierTest.java
3 2 -
A
core\src\main\java\net\maswag\falcaun\TimeMeasure.java
3 2 -
A
matlab\src\test\java\net\maswag\falcaun\simulink\NumericMembershipOracleTest.java
1 2 -
A
core\src\test\java\net\maswag\falcaun\parser\STLSubTest.java
0 1 -
A
.circleci\config.yml
6 -
A
.github\workflows\deploy-docs.yml
7 -
A
.github\workflows\reviewdoc.yml
3 -
A
core\src\main\java\net\maswag\falcaun\AdaptiveSTLUpdater.java
4 4 -
A
core\src\main\java\net\maswag\falcaun\IOContinuousSignal.java
14 6 -
A
core\src\main\java\net\maswag\falcaun\StopDisprovedEQOracle.java
6 4 -
  • Previous Page
  • Next Page
  • Security
  • Terms
  • Privacy
  • Contact
© 2026 CodeFactor

We use cookies in order to offer you the most relevant information. See our Privacy Policy.