fauton
fauton copied to clipboard
Remove test logic when creating automaton
Test logic should not be a part of automaton, as it's only required when testing. Furthermore, if we want to test our automaton based on a different logic we need to create a completely new automaton. It should be removed when creating an automaton and provided only when testing an automaton