fauton
fauton copied to clipboard
Test two automaton for equivalence rather than using only a function
There should be an option to test two separate finite automatons rather than only using a function. For example
// Not passing constructor arguments for sake of brevity
const dfa1 = new DeterministicFiniteAutomaton();
const dfa2 = new DeterministicFiniteAutomaton();
const finiteAutomataTest = new FiniteAutomataTest();
finiteAutomataTest.test([
{
automatons: [dfa1, dfa2]
options: {
type: "generate",
// ...
}
}
])
This would test the two automatons together, rather than using their logic test functions. This would also somewhat solve the issue for batching and caching input strings as we can now test multiple automatons using similar inputs.