fauton icon indicating copy to clipboard operation
fauton copied to clipboard

Test two automaton for equivalence rather than using only a function

Open Devorein opened this issue 4 years ago • 0 comments

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.

Devorein avatar Nov 14 '21 12:11 Devorein