diff options
author | 2014-05-07 21:09:37 +0100 | |
---|---|---|
committer | 2014-05-07 21:09:37 +0100 | |
commit | acbc945043f81a964f1208f4b9c80c557e854a71 (patch) | |
tree | 81a74fe265263b50201c772d73108c61f1bbfb22 /Test/textbook/McCarthy-91.bpl.expect | |
parent | a532c196a517ffda7dbee44fab491bce06f5f18f (diff) |
Enable snapshot test. This test is unusual in that it doesn't
use .bpl files in the directory directy on the command line. So
instead will tell lit to look for *.snapshot files and provide
one that runs the commands we want in the right directory.
Diffstat (limited to 'Test/textbook/McCarthy-91.bpl.expect')
0 files changed, 0 insertions, 0 deletions