From 7d5da950a1e192af431d91875f3a25142b5676a4 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 12 Aug 2006 12:23:56 +0200 Subject: [PATCH] add some small tests for lexmin --- Makefile.am | 6 ++++++ tests/lexmin/boulet.pip | 13 +++++++++++++ tests/lexmin/brisebarre.pip | 34 ++++++++++++++++++++++++++++++++++ tests/lexmin/cg1.pip | 15 +++++++++++++++ tests/lexmin/dirk.pip | 12 ++++++++++++ tests/lexmin/discr.pip | 23 +++++++++++++++++++++++ tests/lexmin/equus.pip | 7 +++++++ tests/lexmin/esced-nn.pip | 44 ++++++++++++++++++++++++++++++++++++++++++++ tests/lexmin/ex-nn.pip | 14 ++++++++++++++ tests/lexmin/fimmel.pip | 12 ++++++++++++ tests/lexmin/invert-nn.pip | 14 ++++++++++++++ tests/lexmin/linear.pip | 10 ++++++++++ tests/lexmin/lineri-nn.pip | 11 +++++++++++ tests/lexmin/lineri.pip | 9 +++++++++ tests/lexmin/max-nn.pip | 12 ++++++++++++ tests/lexmin/negative.pip | 9 +++++++++ tests/lexmin/rairoi-nn.pip | 14 ++++++++++++++ tests/lexmin/small.pip | 9 +++++++++ tests/lexmin/snowbird.pip | 12 ++++++++++++ tests/lexmin/sor1d.pip | 28 ++++++++++++++++++++++++++++ tests/lexmin/square.pip | 9 +++++++++ tests/lexmin/sven.pip | 7 +++++++ tests/lexmin/test2i.pip | 7 +++++++ tests/lexmin/test3i.pip | 8 ++++++++ tests/lexmin/test4i.pip | 9 +++++++++ tests/lexmin/test5i.pip | 10 ++++++++++ tests/lexmin/test6i.pip | 11 +++++++++++ tests/lexmin/test7i.pip | 12 ++++++++++++ tests/lexmin/test8i.pip | 13 +++++++++++++ 29 files changed, 394 insertions(+) create mode 100644 tests/lexmin/boulet.pip create mode 100644 tests/lexmin/brisebarre.pip create mode 100644 tests/lexmin/cg1.pip create mode 100644 tests/lexmin/dirk.pip create mode 100644 tests/lexmin/discr.pip create mode 100644 tests/lexmin/equus.pip create mode 100644 tests/lexmin/esced-nn.pip create mode 100644 tests/lexmin/ex-nn.pip create mode 100644 tests/lexmin/fimmel.pip create mode 100644 tests/lexmin/invert-nn.pip create mode 100644 tests/lexmin/linear.pip create mode 100644 tests/lexmin/lineri-nn.pip create mode 100644 tests/lexmin/lineri.pip create mode 100644 tests/lexmin/max-nn.pip create mode 100644 tests/lexmin/negative.pip create mode 100644 tests/lexmin/rairoi-nn.pip create mode 100644 tests/lexmin/small.pip create mode 100644 tests/lexmin/snowbird.pip create mode 100644 tests/lexmin/sor1d.pip create mode 100644 tests/lexmin/square.pip create mode 100644 tests/lexmin/sven.pip create mode 100644 tests/lexmin/test2i.pip create mode 100644 tests/lexmin/test3i.pip create mode 100644 tests/lexmin/test4i.pip create mode 100644 tests/lexmin/test5i.pip create mode 100644 tests/lexmin/test6i.pip create mode 100644 tests/lexmin/test7i.pip create mode 100644 tests/lexmin/test8i.pip diff --git a/Makefile.am b/Makefile.am index f95a0ce..fe6939e 100644 --- a/Makefile.am +++ b/Makefile.am @@ -149,6 +149,12 @@ check: echo " ok"; \ fi \ done + @for i in $(top_srcdir)/tests/lexmin/*; do \ + if test -f $$i; then \ + echo $$i; \ + ./lexmin --verify < $$i; \ + fi \ + done version.h: @GIT_HEAD@ echo '#define GIT_HEAD_ID "'@GIT_HEAD_VERSION@'"' > $@ diff --git a/tests/lexmin/boulet.pip b/tests/lexmin/boulet.pip new file mode 100644 index 0000000..78e90dd --- /dev/null +++ b/tests/lexmin/boulet.pip @@ -0,0 +1,13 @@ +0 3 + +-1 + +5 6 +1 1 -1 2 0 0 +1 0 1 1 4 20 +1 0 -1 -1 0 0 +1 0 1 -1 2 10 +1 0 -1 1 2 10 + +Urs_parms +Urs_unknowns diff --git a/tests/lexmin/brisebarre.pip b/tests/lexmin/brisebarre.pip new file mode 100644 index 0000000..5d25dae --- /dev/null +++ b/tests/lexmin/brisebarre.pip @@ -0,0 +1,34 @@ +# ---------------------- CONTEXT ---------------------- +1 2 +1 0 + +-1 + +# ----------------------- DOMAIN ---------------------- +26 6 +1 3 0 0 0 -98300 +1 -3 0 0 0 98308 +1 432 36 6 1 -14757611 +1 -432 -36 -6 -1 14758510 +1 54 9 3 1 -1923190 +1 -54 -9 -3 -1 1923303 +1 48 12 6 3 -1782238 +1 -48 -12 -6 -3 1782339 +1 27 9 6 4 -1045164 +1 -27 -9 -6 -4 1045221 +1 432 180 150 125 -17434139 +1 -432 -180 -150 -125 17435038 +1 6 3 3 3 -252443 +1 -6 -3 -3 -3 252456 +1 432 252 294 343 -18949275 +1 -432 -252 -294 -343 18950174 +1 27 18 24 32 -1234720 +1 -27 -18 -24 -32 1234777 +1 48 36 54 81 -2288453 +1 -48 -36 -54 -81 2288554 +1 54 45 75 125 -2684050 +1 -54 -45 -75 -125 2684163 +1 432 396 726 1331 -22386005 +1 -432 -396 -726 -1331 22386904 +1 3 3 6 12 -162072 +1 -3 -3 -6 -12 162080 diff --git a/tests/lexmin/cg1.pip b/tests/lexmin/cg1.pip new file mode 100644 index 0000000..78e31f1 --- /dev/null +++ b/tests/lexmin/cg1.pip @@ -0,0 +1,15 @@ +2 4 + 1 1 0 -1 + 1 -1 1 0 + +-1 + +8 7 + 1 0 1 0 -1 0 0 + 1 0 -1 0 1 0 0 + 1 1 0 0 0 -1 0 + 1 -1 0 0 0 1 0 + 1 0 1 0 0 0 -1 + 1 0 -1 0 0 1 0 + 1 0 -1 1 0 0 -1 + 1 0 0 -1 0 1 0 diff --git a/tests/lexmin/dirk.pip b/tests/lexmin/dirk.pip new file mode 100644 index 0000000..a453a2b --- /dev/null +++ b/tests/lexmin/dirk.pip @@ -0,0 +1,12 @@ +0 4 + +-1 + +7 6 +1 2 6 0 0 -9 +1 5 -3 0 0 0 +1 2 -10 0 0 15 +1 -2 6 0 0 -3 +1 -2 -6 0 0 17 +1 0 1 -1 0 0 +1 1 0 0 -1 0 diff --git a/tests/lexmin/discr.pip b/tests/lexmin/discr.pip new file mode 100644 index 0000000..a9263aa --- /dev/null +++ b/tests/lexmin/discr.pip @@ -0,0 +1,23 @@ +0 2 + +-1 + +18 10 +1 0 -1 1 0 0 0 0 0 -1 +1 0 -1 2 0 0 -1 0 0 -1 +1 0 0 1 -1 0 0 0 0 1 +1 0 -1 0 0 0 1 0 0 -1 +1 0 -1 0 1 0 0 0 0 -2 +1 0 2 0 -3 1 0 0 0 -4 +1 0 -6 4 3 -1 0 0 0 0 +1 0 4 0 -7 1 2 0 0 2 +1 0 1 0 0 0 -1 0 0 2 +1 0 -6 0 7 -1 0 0 0 -4 +1 0 3 2 -7 1 1 0 0 0 +1 0 3 0 -5 1 1 0 0 -2 +1 0 4 0 -7 1 2 0 0 0 +1 0 1 0 1 1 1 -2 0 0 +1 0 -1 0 -1 -1 -1 2 0 1 +1 0 1 0 0 0 1 0 -2 1 +1 0 -1 0 0 0 -1 0 2 0 +1 0 1 -1 0 0 1 0 -1 0 diff --git a/tests/lexmin/equus.pip b/tests/lexmin/equus.pip new file mode 100644 index 0000000..cdd3e73 --- /dev/null +++ b/tests/lexmin/equus.pip @@ -0,0 +1,7 @@ +0 3 + +-1 + +2 4 +1 4 2 -1 +1 -4 -2 1 diff --git a/tests/lexmin/esced-nn.pip b/tests/lexmin/esced-nn.pip new file mode 100644 index 0000000..6b6c47b --- /dev/null +++ b/tests/lexmin/esced-nn.pip @@ -0,0 +1,44 @@ +0 2 + +-1 + +32 18 +1 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 +1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 +1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 + + +0 0 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 +0 0 0 0 0 -1 0 0 0 0 0 1 0 0 0 0 0 0 + +0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 + +0 0 0 0 0 0 -1 0 0 0 0 0 1 -1 0 -1 0 0 +0 0 0 0 0 0 0 -1 0 0 0 0 0 0 1 0 0 0 +0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 1 0 + +0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 +0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 + +1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 +1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 + +1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 +1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 +1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 +1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 +1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 +1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 +1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 +1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 +1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 +1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 +1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 diff --git a/tests/lexmin/ex-nn.pip b/tests/lexmin/ex-nn.pip new file mode 100644 index 0000000..b9de308 --- /dev/null +++ b/tests/lexmin/ex-nn.pip @@ -0,0 +1,14 @@ +4 5 +1 -1 1 1 0 +1 1 0 0 0 +1 0 1 0 0 +1 0 0 1 0 + +-1 + +5 7 +1 0 -1 0 1 0 0 +1 -1 0 0 0 1 0 +1 1 1 -1 0 0 0 +1 1 0 0 0 0 0 +1 0 1 0 0 0 0 diff --git a/tests/lexmin/fimmel.pip b/tests/lexmin/fimmel.pip new file mode 100644 index 0000000..a6dee41 --- /dev/null +++ b/tests/lexmin/fimmel.pip @@ -0,0 +1,12 @@ +0 4 + +-1 + +7 6 +1 2 6 0 0 -9 +1 5 -3 0 0 0 +1 2 -10 0 0 15 +1 -2 6 0 0 -3 +1 -2 -6 0 0 17 +1 0 1 -1 0 0 +1 1 0 0 -1 0 diff --git a/tests/lexmin/invert-nn.pip b/tests/lexmin/invert-nn.pip new file mode 100644 index 0000000..7a0a625 --- /dev/null +++ b/tests/lexmin/invert-nn.pip @@ -0,0 +1,14 @@ +4 5 +1 -1 1 1 0 +1 1 0 0 0 +1 0 1 0 0 +1 0 0 1 0 + +-1 + +5 7 +1 0 -1 0 1 0 0 +1 -1 0 0 0 1 0 +1 1 1 -1 0 0 0 +1 1 0 0 0 0 0 +1 0 1 0 0 0 0 diff --git a/tests/lexmin/linear.pip b/tests/lexmin/linear.pip new file mode 100644 index 0000000..4cc4cdd --- /dev/null +++ b/tests/lexmin/linear.pip @@ -0,0 +1,10 @@ +1 3 +1 -1 9999 + +-1 + +4 5 +1 100 1 -1 0 +1 -100 -1 1 0 +1 -1 0 0 99 +1 0 -1 0 99 diff --git a/tests/lexmin/lineri-nn.pip b/tests/lexmin/lineri-nn.pip new file mode 100644 index 0000000..07087c3 --- /dev/null +++ b/tests/lexmin/lineri-nn.pip @@ -0,0 +1,11 @@ +2 3 +1 -1 9999 +1 1 0 + +-1 + +4 4 +1 -1 0 99 +1 -100 1 0 +1 100 -1 99 +1 1 0 0 diff --git a/tests/lexmin/lineri.pip b/tests/lexmin/lineri.pip new file mode 100644 index 0000000..d78592a --- /dev/null +++ b/tests/lexmin/lineri.pip @@ -0,0 +1,9 @@ +1 3 +1 -1 9999 + +-1 + +3 4 +1 -1 0 99 +1 -100 1 0 +1 100 -1 99 diff --git a/tests/lexmin/max-nn.pip b/tests/lexmin/max-nn.pip new file mode 100644 index 0000000..0d2048b --- /dev/null +++ b/tests/lexmin/max-nn.pip @@ -0,0 +1,12 @@ +1 3 +1 1 0 + +-1 + +6 5 +1 -1 0 1 0 +1 0 -1 1 0 +1 -1 3 -2 12 +1 2 -1 -1 3 +1 1 0 0 0 +1 0 1 0 0 diff --git a/tests/lexmin/negative.pip b/tests/lexmin/negative.pip new file mode 100644 index 0000000..45090a5 --- /dev/null +++ b/tests/lexmin/negative.pip @@ -0,0 +1,9 @@ +1 3 +# n 1 +1 1 -1 # n >= 1 +-1 + +2 4 +# i n 1 +1 1 0 1 # i >= -1 +1 -1 1 0 # i <= n diff --git a/tests/lexmin/rairoi-nn.pip b/tests/lexmin/rairoi-nn.pip new file mode 100644 index 0000000..e90a694 --- /dev/null +++ b/tests/lexmin/rairoi-nn.pip @@ -0,0 +1,14 @@ +0 5 + +-1 + +9 7 +1 -1 0 0 1 0 0 +1 0 -1 0 0 1 0 +1 -2 -1 -1 2 1 0 +1 2 1 1 -2 -1 0 +1 1 0 0 0 0 0 +1 0 1 0 0 0 0 +1 0 0 1 0 0 0 +1 0 0 0 1 0 0 +1 0 0 0 0 1 0 diff --git a/tests/lexmin/small.pip b/tests/lexmin/small.pip new file mode 100644 index 0000000..59557d2 --- /dev/null +++ b/tests/lexmin/small.pip @@ -0,0 +1,9 @@ +0 2 + +-1 + +4 4 +1 1 0 0 +1 0 1 0 +1 1 -3 12 +1 -2 1 3 diff --git a/tests/lexmin/snowbird.pip b/tests/lexmin/snowbird.pip new file mode 100644 index 0000000..02b497f --- /dev/null +++ b/tests/lexmin/snowbird.pip @@ -0,0 +1,12 @@ +0 4 + +-1 + +7 6 +1 -1 0 0 0 0 +1 1 0 0 1 0 +1 0 -1 0 0 0 +1 -1 1 0 0 0 +1 0 0 1 0 0 +1 0 0 -1 3 0 +0 -1 -2 -1 0 0 diff --git a/tests/lexmin/sor1d.pip b/tests/lexmin/sor1d.pip new file mode 100644 index 0000000..1bef89e --- /dev/null +++ b/tests/lexmin/sor1d.pip @@ -0,0 +1,28 @@ +2 4 + 1 1 0 0 + 1 0 1 0 + +-1 + +20 8 + + 0 -1 0 0 0 0 0 2 + 0 0 -1 0 0 0 0 1 + 0 0 0 -1 0 0 0 2 + 0 0 0 0 -1 0 0 4 + 1 0 0 0 1 0 0 -2 + 1 -2 0 2 1 0 0 -4 + 1 0 0 0 -1 0 1 -1 + 1 2 0 -2 -1 0 0 5 + 1 0 0 1 0 0 0 -1 + 1 0 -2 1 0 0 0 0 + 1 -2 0 2 0 0 1 -5 + 1 0 0 -1 0 1 0 0 + 1 0 2 -1 0 0 0 1 + 1 2 0 -2 0 0 0 3 + 1 0 1 0 0 0 0 0 + 1 -2 4 0 0 0 1 -3 + 1 0 -2 0 0 1 0 0 + 1 2 -4 0 0 0 0 3 + 1 2 0 0 0 0 0 1 + 1 -2 0 0 0 2 1 -5 diff --git a/tests/lexmin/square.pip b/tests/lexmin/square.pip new file mode 100644 index 0000000..7bb3f0c --- /dev/null +++ b/tests/lexmin/square.pip @@ -0,0 +1,9 @@ +0 3 + +-1 + +4 5 +1 1 0 0 0 +1 -1 0 1 0 +1 0 1 0 0 +1 0 -1 1 0 diff --git a/tests/lexmin/sven.pip b/tests/lexmin/sven.pip new file mode 100644 index 0000000..8602769 --- /dev/null +++ b/tests/lexmin/sven.pip @@ -0,0 +1,7 @@ +0 3 + +-1 + +2 3 +1 1 -4 +1 -1 10 diff --git a/tests/lexmin/test2i.pip b/tests/lexmin/test2i.pip new file mode 100644 index 0000000..be4be17 --- /dev/null +++ b/tests/lexmin/test2i.pip @@ -0,0 +1,7 @@ +0 2 + +-1 + +2 4 +1 1 0 -2 +1 1 2 -3 diff --git a/tests/lexmin/test3i.pip b/tests/lexmin/test3i.pip new file mode 100644 index 0000000..54eefa1 --- /dev/null +++ b/tests/lexmin/test3i.pip @@ -0,0 +1,8 @@ +0 2 + +-1 + +3 5 +1 1 0 0 -2 +1 1 2 0 -3 +1 1 2 3 -7 diff --git a/tests/lexmin/test4i.pip b/tests/lexmin/test4i.pip new file mode 100644 index 0000000..502dcd5 --- /dev/null +++ b/tests/lexmin/test4i.pip @@ -0,0 +1,9 @@ +0 2 + +-1 + +4 6 +1 1 0 0 0 -2 +1 1 2 0 0 -3 +1 1 2 3 0 -7 +1 1 2 3 4 -25 diff --git a/tests/lexmin/test5i.pip b/tests/lexmin/test5i.pip new file mode 100644 index 0000000..aaaacc1 --- /dev/null +++ b/tests/lexmin/test5i.pip @@ -0,0 +1,10 @@ +0 2 + +-1 + +5 7 +1 1 0 0 0 0 -2 +1 1 2 0 0 0 -3 +1 1 2 3 0 0 -7 +1 1 2 3 4 0 -25 +1 1 2 3 4 5 -121 diff --git a/tests/lexmin/test6i.pip b/tests/lexmin/test6i.pip new file mode 100644 index 0000000..60f6c02 --- /dev/null +++ b/tests/lexmin/test6i.pip @@ -0,0 +1,11 @@ +0 2 + +-1 + +6 8 +1 1 0 0 0 0 0 -2 +1 1 2 0 0 0 0 -3 +1 1 2 3 0 0 0 -7 +1 1 2 3 4 0 0 -25 +1 1 2 3 4 5 0 -121 +1 1 2 3 4 5 6 -721 diff --git a/tests/lexmin/test7i.pip b/tests/lexmin/test7i.pip new file mode 100644 index 0000000..ae706a9 --- /dev/null +++ b/tests/lexmin/test7i.pip @@ -0,0 +1,12 @@ +0 2 + +-1 + +7 9 +1 1 0 0 0 0 0 0 -2 +1 1 2 0 0 0 0 0 -3 +1 1 2 3 0 0 0 0 -7 +1 1 2 3 4 0 0 0 -25 +1 1 2 3 4 5 0 0 -121 +1 1 2 3 4 5 6 0 -721 +1 1 2 3 4 5 6 7 -5041 diff --git a/tests/lexmin/test8i.pip b/tests/lexmin/test8i.pip new file mode 100644 index 0000000..47b38c9 --- /dev/null +++ b/tests/lexmin/test8i.pip @@ -0,0 +1,13 @@ +0 2 + +-1 + +8 10 +1 1 0 0 0 0 0 0 0 -2 +1 1 2 0 0 0 0 0 0 -3 +1 1 2 3 0 0 0 0 0 -7 +1 1 2 3 4 0 0 0 0 -25 +1 1 2 3 4 5 0 0 0 -121 +1 1 2 3 4 5 6 0 0 -721 +1 1 2 3 4 5 6 7 0 -5041 +1 1 2 3 4 5 6 7 8 -40321 -- 2.11.4.GIT