hydra-www.ietfng.org Git

]> hydra-www.ietfng.org Git - dyna2/commit

author	Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
	Tue, 4 Jun 2013 23:52:16 +0000 (19:52 -0400)
committer	Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
	Tue, 4 Jun 2013 23:52:16 +0000 (19:52 -0400)
commit	2b6cad2dc48fde5ef57533b17d8454e852193b91
tree	5755079beeda3ccdbeae2d5c7c799bc10199b926	tree \| snapshot
parent	26318ad22b77dd1dbaf1571eb0fb8a641434c93c	commit \| diff

Fix a failing test

Automata in prop_call_test_sufficient should be nonempty on all disjuncts.

Thanks to Tim for the report.