remedier a la liste desordonné par l'ajout de sort a la fin de la fonction eval_query...
[tatoo.git] / tests / tiny.xml
2014-03-11 Huibo SHIAjout d'un fichier de test.
2013-12-03 Kim NguyễnFix a bug in the test-complexity script and add more...
2013-11-24 Kim NguyễnAdd a tiny XML file to help debug automata behaviour.