]> hydra-www.ietfng.org Git - dyna2/commit
projects / dyna2 / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7724643) | patch
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
tree358d1e19db1d9e4cb2557058a7601beda6fe3f66tree | snapshot
parent7724643928a8f5475c7a68cf2fe06a98f56ec47ccommit | diff
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 diff | blob | history
src/Dyna/Analysis/Mode/Selftest/Contexts.hs diff | blob | history