diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2014-02-01 16:46:45 -0800 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2014-02-01 16:46:45 -0800 |
| commit | 925d19a8fb7dcdbb299acb1b74e4bd27ad0d76d3 (patch) | |
| tree | 94aefc213c1d5ae67dcaa4356f4b90bc5aa055cb /tests | |
| parent | 561f6c2d2f46d80f6915b17a51c7a585179b58a3 (diff) | |
| parent | 6fda10aed0287d50ebc3c6192d0dd64e710a1f72 (diff) | |
| download | Nim-925d19a8fb7dcdbb299acb1b74e4bd27ad0d76d3.tar.gz | |
Merge pull request #859 from reactormonk/sets_equivalence
sets equivalence
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/sets/testequivalence.nim | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/sets/testequivalence.nim b/tests/sets/testequivalence.nim new file mode 100644 index 000000000..7c5d9e3e9 --- /dev/null +++ b/tests/sets/testequivalence.nim @@ -0,0 +1,15 @@ +discard """ + output: '''''' +""" +import unittest +import sets + +doAssert(toSet(@[1,2,3]) <= toSet(@[1,2,3,4]), "equivalent or subset") +doAssert(toSet(@[1,2,3]) <= toSet(@[1,2,3]), "equivalent or subset") +doAssert((not(toSet(@[1,2,3]) <= toSet(@[1,2]))), "equivalent or subset") +doAssert(toSet(@[1,2,3]) <= toSet(@[1,2,3,4]), "strict subset") +doAssert((not(toSet(@[1,2,3]) < toSet(@[1,2,3]))), "strict subset") +doAssert((not(toSet(@[1,2,3]) < toSet(@[1,2]))), "strict subset") +doAssert((not(toSet(@[1,2,3]) == toSet(@[1,2,3,4]))), "==") +doAssert(toSet(@[1,2,3]) == toSet(@[1,2,3]), "==") +doAssert((not(toSet(@[1,2,3]) == toSet(@[1,2]))), "==") |