github/meteor
1
1
Fork 0
mirror of https://github.com/meteor/meteor.git synced 2026-05-02 03:01:46 -04:00
Code Issues Packages Projects Releases Wiki Activity

More atMostOne tests

Browse Source
This commit is contained in:
David Greenspan
2014-12-27 09:46:34 -08:00
parent 0897883413
commit 7e826a3394
1 changed files with 23 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
packages/logic-solver/logic_tests.js
View File

@@ -503,6 +503,28 @@ Tinytest.add("logic-solver - Logic.atMostOne", function (test) {
"A v B v $atMostOne2",
"A v C v $atMostOne2",
"B v C v $atMostOne2",
"-$atMostOne1 v -$atMostOne2"]
"-$atMostOne1 v -$atMostOne2"],
function (s) {
s.require(Logic.atMostOne("A", "B", "C", "D", "E")); },
["-A v $or1",
"-B v $or1",
"-C v $or1",
"-D v $or2",
"-E v $or2",
"-$or1 v -$or2",
"-A v -B",
"-A v -C",
"-B v -C",
"-D v -E"],
function (s) {
s.forbid(Logic.atMostOne("A", "B", "C", "D", "E")); },
["A v B v C v $atMostOne1",
"D v E v $atMostOne1",
"A v B v $atMostOne2",
"A v C v $atMostOne2",
"B v C v $atMostOne2",
"D v $atMostOne3",
"E v $atMostOne3",
"-$atMostOne1 v -$atMostOne2 v -$atMostOne3"]
]);
});