filipg/amu_automata_2011 — pull request #188 by GBednarski (2011-11-03 22:21:59+00:00)
Title: ISSUE #14 testy

ISSUE #14 - Dodano testowa klase TestAutomationSpecification. Dodano testy do metod countTransitions i countStates. By Grzegorz Bednarski