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
Thomas
authored