rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add tests

Browse Source
This commit is contained in:
Mark Thom
2017-05-25 14:46:48 -06:00
parent 13c902918b
commit cf470e48c2
2 changed files with 26 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
src/main.rs
View File

@@ -593,6 +593,25 @@ mod tests {
assert_eq!(submit(&mut wam, "?- f(r, X, X)."), true);
assert_eq!(submit(&mut wam, "?- f(r, f(X), g(Y))."), true);
assert_eq!(submit(&mut wam, "?- f(r, j(X), h(Y))."), false);
submit(&mut wam, "p(one, one). p(one, two). p(two, two).");
assert_eq!(submit(&mut wam, "?- f(p(one), X, Y)."), true);
assert_eq!(submit(&mut wam, "?- f(p(one), X, X)."), true);
assert_eq!(submit(&mut wam, "?- f(p(one), one, Y)."), true);
assert_eq!(submit(&mut wam, "?- f(p(one), one, two)."), true);
assert_eq!(submit(&mut wam, "?- f(p(one), one, three)."), false);
assert_eq!(submit(&mut wam, "?- f(p(two), one, two)."), false);
assert_eq!(submit(&mut wam, "?- f(p(two), two, one)."), false);
assert_eq!(submit(&mut wam, "?- f(p(two), two, two)."), true);
assert_eq!(submit(&mut wam, "?- f(p(two), two, three)."), false);
assert_eq!(submit(&mut wam, "?- f(p(three), X, Y)."), false);
assert_eq!(submit(&mut wam, "?- f(p(three), X, X)."), false);
assert_eq!(submit(&mut wam, "?- f(p(three), one, Y)."), false);
assert_eq!(submit(&mut wam, "?- f(p(three), one, two)."), false);
assert_eq!(submit(&mut wam, "?- f(p(three), one, three)."), false);
}
}