]> hydra-www.ietfng.org Git - dyna2/commit
Fix a failing test
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Tue, 4 Jun 2013 23:52:16 +0000 (19:52 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Tue, 4 Jun 2013 23:52:16 +0000 (19:52 -0400)
commit2b6cad2dc48fde5ef57533b17d8454e852193b91
tree5755079beeda3ccdbeae2d5c7c799bc10199b926
parent26318ad22b77dd1dbaf1571eb0fb8a641434c93c
Fix a failing test

Automata in prop_call_test_sufficient should be nonempty on all disjuncts.

Thanks to Tim for the report.
src/Dyna/Analysis/Mode/Selftest/NamedInst.hs