diff options
Diffstat (limited to 'bpkg/satisfaction.test.cxx')
| -rw-r--r-- | bpkg/satisfaction.test.cxx | 62 |
1 files changed, 31 insertions, 31 deletions
diff --git a/bpkg/satisfaction.test.cxx b/bpkg/satisfaction.test.cxx index fef30e1..4857e0d 100644 --- a/bpkg/satisfaction.test.cxx +++ b/bpkg/satisfaction.test.cxx @@ -9,43 +9,43 @@ namespace bpkg static int main (int, char*[]) { - using dc = dependency_constraint; + using vc = version_constraint; - assert ( satisfies (dc ("[1.0 2.0]"), dc ("[1.0+0 2.0]"))); - assert (!satisfies (dc ("[1.0 2.0]"), dc ("[1.0+1 2.0]"))); - assert ( satisfies (dc ("[1.0+0 2.0]"), dc ("[1.0 2.0]"))); - assert ( satisfies (dc ("[1.0+1 2.0]"), dc ("[1.0 2.0]"))); + assert ( satisfies (vc ("[1.0 2.0]"), vc ("[1.0+0 2.0]"))); + assert (!satisfies (vc ("[1.0 2.0]"), vc ("[1.0+1 2.0]"))); + assert ( satisfies (vc ("[1.0+0 2.0]"), vc ("[1.0 2.0]"))); + assert ( satisfies (vc ("[1.0+1 2.0]"), vc ("[1.0 2.0]"))); - assert (!satisfies (dc ("[1.0+0 2.0]"), dc ("(1.0 2.0]"))); - assert (!satisfies (dc ("[1.0+1 2.0]"), dc ("(1.0 2.0]"))); - assert (!satisfies (dc ("(1.0+0 2.0]"), dc ("(1.0 2.0]"))); - assert (!satisfies (dc ("(1.0+1 2.0]"), dc ("(1.0 2.0]"))); - assert ( satisfies (dc ("(1.0+0 2.0]"), dc ("[1.0 2.0]"))); - assert ( satisfies (dc ("(1.0+1 2.0]"), dc ("[1.0 2.0]"))); + assert (!satisfies (vc ("[1.0+0 2.0]"), vc ("(1.0 2.0]"))); + assert (!satisfies (vc ("[1.0+1 2.0]"), vc ("(1.0 2.0]"))); + assert (!satisfies (vc ("(1.0+0 2.0]"), vc ("(1.0 2.0]"))); + assert (!satisfies (vc ("(1.0+1 2.0]"), vc ("(1.0 2.0]"))); + assert ( satisfies (vc ("(1.0+0 2.0]"), vc ("[1.0 2.0]"))); + assert ( satisfies (vc ("(1.0+1 2.0]"), vc ("[1.0 2.0]"))); - assert (!satisfies (dc ("[1.0 2.0+0]"), dc ("[1.0 2.0)"))); - assert (!satisfies (dc ("[1.0 2.0+1]"), dc ("[1.0 2.0)"))); - assert ( satisfies (dc ("[1.0 2.0+0)"), dc ("[1.0 2.0)"))); - assert (!satisfies (dc ("[1.0 2.0+1)"), dc ("[1.0 2.0)"))); + assert (!satisfies (vc ("[1.0 2.0+0]"), vc ("[1.0 2.0)"))); + assert (!satisfies (vc ("[1.0 2.0+1]"), vc ("[1.0 2.0)"))); + assert ( satisfies (vc ("[1.0 2.0+0)"), vc ("[1.0 2.0)"))); + assert (!satisfies (vc ("[1.0 2.0+1)"), vc ("[1.0 2.0)"))); // Swap the above constraints. // - assert (!satisfies (dc ("[1.0 2.0]"), dc ("[1.0 2.0+0]"))); - assert (!satisfies (dc ("[1.0 2.0]"), dc ("[1.0 2.0+1]"))); - assert ( satisfies (dc ("[1.0 2.0+0]"), dc ("[1.0 2.0]"))); - assert ( satisfies (dc ("[1.0 2.0+1]"), dc ("[1.0 2.0]"))); - - assert ( satisfies (dc ("(1.0 2.0]"), dc ("[1.0+0 2.0]"))); - assert ( satisfies (dc ("(1.0 2.0]"), dc ("[1.0+1 2.0]"))); - assert ( satisfies (dc ("(1.0 2.0]"), dc ("(1.0+0 2.0]"))); - assert ( satisfies (dc ("(1.0 2.0]"), dc ("(1.0+1 2.0]"))); - assert (!satisfies (dc ("[1.0 2.0]"), dc ("(1.0+0 2.0]"))); - assert (!satisfies (dc ("[1.0 2.0]"), dc ("(1.0+1 2.0]"))); - - assert ( satisfies (dc ("[1.0 2.0)"), dc ("[1.0 2.0+0)"))); - assert ( satisfies (dc ("[1.0 2.0)"), dc ("[1.0 2.0+1)"))); - assert (!satisfies (dc ("[1.0 2.0]"), dc ("[1.0 2.0+0)"))); - assert (!satisfies (dc ("[1.0 2.0]"), dc ("[1.0 2.0+1)"))); + assert (!satisfies (vc ("[1.0 2.0]"), vc ("[1.0 2.0+0]"))); + assert (!satisfies (vc ("[1.0 2.0]"), vc ("[1.0 2.0+1]"))); + assert ( satisfies (vc ("[1.0 2.0+0]"), vc ("[1.0 2.0]"))); + assert ( satisfies (vc ("[1.0 2.0+1]"), vc ("[1.0 2.0]"))); + + assert ( satisfies (vc ("(1.0 2.0]"), vc ("[1.0+0 2.0]"))); + assert ( satisfies (vc ("(1.0 2.0]"), vc ("[1.0+1 2.0]"))); + assert ( satisfies (vc ("(1.0 2.0]"), vc ("(1.0+0 2.0]"))); + assert ( satisfies (vc ("(1.0 2.0]"), vc ("(1.0+1 2.0]"))); + assert (!satisfies (vc ("[1.0 2.0]"), vc ("(1.0+0 2.0]"))); + assert (!satisfies (vc ("[1.0 2.0]"), vc ("(1.0+1 2.0]"))); + + assert ( satisfies (vc ("[1.0 2.0)"), vc ("[1.0 2.0+0)"))); + assert ( satisfies (vc ("[1.0 2.0)"), vc ("[1.0 2.0+1)"))); + assert (!satisfies (vc ("[1.0 2.0]"), vc ("[1.0 2.0+0)"))); + assert (!satisfies (vc ("[1.0 2.0]"), vc ("[1.0 2.0+1)"))); return 0; } |