More testcases

[SVN r341]
This commit is contained in:
Douglas Gregor
2002-08-01 20:07:31 +00:00
parent e4b8232571
commit 36c8b04ca7

View File

@@ -79,6 +79,16 @@ int main()
assert(x || z == indeterminate);
assert(y || z);
assert(indeterminate(y && indeterminate));
assert(indeterminate(indeterminate && y));
assert(!(x && indeterminate));
assert(!(indeterminate && x));
assert(indeterminate || y);
assert(y || indeterminate);
assert(indeterminate(x || indeterminate));
assert(indeterminate(indeterminate || x));
std::cout << "no errors detected\n";
return 0;
}