Skip to content
Snippets Groups Projects
Quite a mess in the learnlib folder

## Important files for my bachelor thesis:

- RevDFASimulatorOracle: like DFASimulatorOracle from LearnLib but queries are reversed
- RevSimulatorOracle: same for SimulatorOracle from LearnLib
- DumpRFSAEQOracle: does conformance testing using random words up-to the specified limit (like the built-in RandomWordsEqOracle), then falls back to equivalence testing using AutomataEq to save resources

## Also useful for other LearnLib usage:

- FSAUtil: can reverse CompactxFA, can convert CompactDFA to CompactNFA
- AutomataEq: tests semantic equivalence of a CompactNFA and some FiniteStateAcceptor of AutomataLib (LearnLib), can return a counterexample to differentiate the automata if needed
- (TimbukParser)
- (GraphvizParser)
- (RandomNFAGen)
- (Kiss2Parser)

The parsers are specialised for the benchmarks I used and should be used with caution.

## Some old things, please ignore these files:

- Example1
- Example1nlstar