picnoir/nix-gh
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Make the test more robust.

Browse source
This commit is contained in:
Nicolas Pierron 2010-02-19 19:39:03 +00:00
parent e0406330fa
commit 99e554e0e0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/libterm/test.cc
View file

@ -49,7 +49,7 @@ int main()
CHECK(a == c, "Terms are shared.");
CHECK(!as<APlus>(a), "Bad convertion returns a zero ATerm.");
CHECK(as<AInt>(a), "Good convertion returns a non-zero ATerm.");
CHECK(as<AInt>(a) == a, "Good convertion returns the same ATerm.");
CHECK(e.run(Plus::make(a, Plus::make(b, c))) == 4, "Visitors are working.");
return tests - good;
}