]> hydra-www.ietfng.org Git - dyna2/commit
Fix a small bug in the test harness
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Sat, 8 Jun 2013 18:45:00 +0000 (14:45 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Sat, 8 Jun 2013 18:45:00 +0000 (14:45 -0400)
commite56c80213c72cae3896362e30303a0e32c0b62e8
tree358d1e19db1d9e4cb2557058a7601beda6fe3f66
parent7724643928a8f5475c7a68cf2fe06a98f56ec47c
Fix a small bug in the test harness

Thanks to Tim for the report that prop_no_unifyUnaliasedNV failed.

Rather than constrain prop_no_unifyUnaliasedNV to generate only UShared
terms, try a slightly different test in which we are unifying in a
preconstructed context.
src/Dyna/Analysis/Mode/Execution/ContextNoAlias.hs
src/Dyna/Analysis/Mode/Selftest/Contexts.hs