Move test *.sav files to a sav/ subdirectory.

[nit.git] / tests / sav / test_partial_order.sav

diff --git a/tests/sav/test_partial_order.sav b/tests/sav/test_partial_order.sav
new file mode 100644 (file)
index 0000000..4226a7c
--- /dev/null
+++ b/tests/sav/test_partial_order.sav
@@ -0,0 +1,40 @@
+1: rank=0; greats=0(0); smalls=19(8):
+        >2 >3 >4 >5 >6 >7 >8 >9 >10 >11 >12 >13 >14 >15 >16 >17 >18 >19 >20
+2: rank=1; greats=1(1); smalls=9(4):
+        <1 >4 >6 >8 >10 >12 >14 >16 >18 >20
+3: rank=1; greats=1(1); smalls=5(3):
+        <1 >6 >9 >12 >15 >18
+4: rank=2; greats=2(1); smalls=4(3):
+        <1 <2 >8 >12 >16 >20
+5: rank=1; greats=1(1); smalls=3(2):
+        <1 >10 >15 >20
+6: rank=2; greats=3(2); smalls=2(2):
+        <1 <2 <3 >12 >18
+7: rank=1; greats=1(1); smalls=1(1):
+        <1 >14
+8: rank=3; greats=3(1); smalls=1(1):
+        <1 <2 <4 >16
+9: rank=2; greats=2(1); smalls=1(1):
+        <1 <3 >18
+10: rank=2; greats=3(2); smalls=1(1):
+        <1 <2 <5 >20
+11: rank=1; greats=1(1); smalls=0(0):
+        <1
+12: rank=3; greats=5(2); smalls=0(0):
+        <1 <2 <3 <4 <6
+13: rank=1; greats=1(1); smalls=0(0):
+        <1
+14: rank=2; greats=3(2); smalls=0(0):
+        <1 <2 <7
+15: rank=2; greats=3(2); smalls=0(0):
+        <1 <3 <5
+16: rank=4; greats=4(1); smalls=0(0):
+        <1 <2 <4 <8
+17: rank=1; greats=1(1); smalls=0(0):
+        <1
+18: rank=3; greats=5(2); smalls=0(0):
+        <1 <2 <3 <6 <9
+19: rank=1; greats=1(1); smalls=0(0):
+        <1
+20: rank=3; greats=5(2); smalls=0(0):
+        <1 <2 <4 <5 <10