aboutsummaryrefslogtreecommitdiffstats
path: root/test/src
diff options
context:
space:
mode:
authorAndrea Corallo2020-11-27 21:30:03 +0100
committerAndrea Corallo2020-11-27 23:30:02 +0100
commit2e0256e0a02edad129e0af1ea97b9e263c5d83fb (patch)
tree4802a37b81625943293db1607fe4f14b0f9f0fb9 /test/src
parente2ff5d9605624baeae0fa500b00078b9f3e42e07 (diff)
downloademacs-2e0256e0a02edad129e0af1ea97b9e263c5d83fb.tar.gz
emacs-2e0256e0a02edad129e0af1ea97b9e263c5d83fb.zip
Add intersection support into comp-cstr.el
Diffstat (limited to 'test/src')
-rw-r--r--test/src/comp-tests.el20
1 files changed, 0 insertions, 20 deletions
diff --git a/test/src/comp-tests.el b/test/src/comp-tests.el
index 88c7b8c0d81..dd97ccd5bd1 100644
--- a/test/src/comp-tests.el
+++ b/test/src/comp-tests.el
@@ -965,24 +965,4 @@ Return a list of results."
965 (equal (comp-mvar-typeset mvar) 965 (equal (comp-mvar-typeset mvar)
966 comp-tests-cond-rw-expected-type)))))))) 966 comp-tests-cond-rw-expected-type))))))))
967 967
968
969;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
970;; Range propagation tests. ;;
971;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
972
973;; FIXME to be removed when movable into comp-cstr-tests.el
974(comp-deftest range-simple-intersection ()
975 (should (equal (comp-range-intersection '((-1 . 0)) '((3 . 4)))
976 '()))
977 (should (equal (comp-range-intersection '((-1 . 2)) '((3 . 4)))
978 '()))
979 (should (equal (comp-range-intersection '((-1 . 3)) '((3 . 4)))
980 '((3 . 3))))
981 (should (equal (comp-range-intersection '((-1 . 4)) '((3 . 4)))
982 '((3 . 4))))
983 (should (equal (comp-range-intersection '((-1 . 5)) '((3 . 4)))
984 '((3 . 4))))
985 (should (equal (comp-range-intersection '((-1 . 0)) '())
986 '())))
987
988;;; comp-tests.el ends here 968;;; comp-tests.el ends here