public void doesNotGoFinaleTest_passPassedTransitionsAndStateAndRefResultAndAutomaton_returnsBool()
{
Automaton inputAutomaton = automaton2;
Trace.WriteLine(inputAutomaton.Transitions.Count);
Trace.WriteLine(inputAutomaton.Transitions[1].ToString());
List <Transition> inputPassedTransitions = new List <Transition>(new Transition[] { inputAutomaton.Transitions[1] });
bool result = true;
result = WordChecker.doesNotGoFinale(ref inputPassedTransitions, "4", ref result, inputAutomaton);
Assert.IsFalse(result);
}