]> hydra-www.ietfng.org Git - dyna2/commit
Ensure evaluation of an assertion
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Thu, 11 Jul 2013 04:13:23 +0000 (00:13 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Thu, 11 Jul 2013 04:13:23 +0000 (00:13 -0400)
commit30f247f916b1a86e1057a1bb57f047e73001e30c
tree73dd22b26370a84c86eedd607cdacc05fbd169f0
parente54bef60c77eefc94ce7307c2efa316622c2a3e7
Ensure evaluation of an assertion

Found by reviewing coverage
src/Dyna/Analysis/Mode/Execution/Context.hs