Index of /trunk/examples/Automata/regression/nwa/operations/isEmptyHeuristic

 Name                                                Last modified      Size  Description
 Parent Directory                                                         -   
 bug01_dumped_mini.ats                               2021-02-19 15:38  453   
 CallForever.ats                                     2021-02-19 15:38  455   
 Hamster-04.ats                                      2021-02-19 15:38  658   
 bug01_dumped.ats                                    2021-02-19 15:38  687   
 Hamster-04-Nested.ats                               2021-02-19 15:38  688   
 LoopingReturns.ats                                  2021-02-19 15:38  690