tests: remove remaining and obsolete sav/ files
authorJean Privat <jean@pryen.org>
Thu, 28 Aug 2014 20:31:33 +0000 (16:31 -0400)
committerJean Privat <jean@pryen.org>
Thu, 28 Aug 2014 21:00:11 +0000 (17:00 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>

25 files changed:
tests/sav/base_for_custom.res [deleted file]
tests/sav/base_for_custom_alt1.res [deleted file]
tests/sav/base_for_custom_alt2.res [deleted file]
tests/sav/base_for_custom_alt3.res [deleted file]
tests/sav/base_for_custom_alt4.res [deleted file]
tests/sav/base_for_custom_alt5.res [deleted file]
tests/sav/base_iterate_range.res [deleted file]
tests/sav/bench_svn105_papillon.log.res [deleted file]
tests/sav/bench_svn107_bird.log.res [deleted file]
tests/sav/bench_svn219_bird.log.res [deleted file]
tests/sav/error_file_access.res [deleted file]
tests/sav/error_loop_bool_until.res [deleted file]
tests/sav/example_array_sort.res [deleted file]
tests/sav/example_power_with_iterate.res [deleted file]
tests/sav/ni_nitdoc.res [deleted file]
tests/sav/ni_nitdoc_args1.res [deleted file]
tests/sav/nitcc_test_parser.res [deleted file]
tests/sav/nitdbg_server.res [deleted file]
tests/sav/test_iterate.res [deleted file]
tests/sav/test_ni_accessor.res [deleted file]
tests/sav/test_ni_fibonacci.res [deleted file]
tests/sav/test_ni_new.res [deleted file]
tests/sav/test_ni_primitives.res [deleted file]
tests/sav/test_ni_super.res [deleted file]
tests/sav/test_partial_order.res [deleted file]

diff --git a/tests/sav/base_for_custom.res b/tests/sav/base_for_custom.res
deleted file mode 100644 (file)
index 15a0116..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-5
-5
-true
diff --git a/tests/sav/base_for_custom_alt1.res b/tests/sav/base_for_custom_alt1.res
deleted file mode 100644 (file)
index b923983..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_for_custom_alt1.nit:38,10: Type error: Expected a type with an 'iterate' method. Found A.
diff --git a/tests/sav/base_for_custom_alt2.res b/tests/sav/base_for_custom_alt2.res
deleted file mode 100644 (file)
index af89e3c..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_for_custom_alt2.nit:24,3--9: Error: Method or variable 'each' unknown in A.
-alt/base_for_custom_alt2.nit:38,1--41,3: Error: 'iterate' incompatible with 'for': require one closure.
diff --git a/tests/sav/base_for_custom_alt3.res b/tests/sav/base_for_custom_alt3.res
deleted file mode 100644 (file)
index edc0bf6..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_for_custom_alt3.nit:39,1--41,3: Error: Expected 1 variable (i: Int), found 2.
diff --git a/tests/sav/base_for_custom_alt4.res b/tests/sav/base_for_custom_alt4.res
deleted file mode 100644 (file)
index 39e11dc..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_for_custom_alt4.nit:45,1--48,3: Error: Expected 2 variables (i: Int, j: Bool), found 1.
diff --git a/tests/sav/base_for_custom_alt5.res b/tests/sav/base_for_custom_alt5.res
deleted file mode 100644 (file)
index 066495e..0000000
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_for_custom_alt5.nit:38,1--41,3: Error: 'iterate' incompatible with 'for': require one procedural closure.
diff --git a/tests/sav/base_iterate_range.res b/tests/sav/base_iterate_range.res
deleted file mode 100644 (file)
index efe5fae..0000000
+++ /dev/null
@@ -1,20 +0,0 @@
-0
-1
-2
-3
-4
-0
-1
-2
-3
-4
-0
-1
-2
-3
-4
-0
-1
-2
-3
-4
diff --git a/tests/sav/bench_svn105_papillon.log.res b/tests/sav/bench_svn105_papillon.log.res
deleted file mode 100644 (file)
index dc3b169..0000000
+++ /dev/null
@@ -1,53 +0,0 @@
-3.09 bench_netsim 1000000
-2.02 bench_netsim 1000000       --boost
-3.08 bench_netsim 1000000       --tag
-3.05 bench_netsim 1000000       --tag --tag
-4.43 bench_netsim 1000000       --gc boehm
-4.17 bench_netsim 1000000       --gc boehm --tag
-4.14 bench_netsim 1000000       --gc boehm --tag --tag
-3.07 bench_netsim 1000000       --select btd
-3.05 bench_netsim 1000000       --tag --select btd
-3.02 bench_netsim 1000000       --tag --select btd --tag
-4.42 bench_netsim 1000000       --gc boehm --select btd
-4.14 bench_netsim 1000000       --gc boehm --tag --select btd
-4.12 bench_netsim 1000000       --gc boehm --tag --select btd --tag
-3.34 bench_string_append 10
-2.71 bench_string_append 10     --boost
-3.37 bench_string_append 10     --tag
-3.36 bench_string_append 10     --tag --tag
-3.71 bench_string_append 10     --gc boehm
-3.70 bench_string_append 10     --gc boehm --tag
-3.71 bench_string_append 10     --gc boehm --tag --tag
-3.38 bench_string_append 10     --select btd
-3.35 bench_string_append 10     --tag --select btd
-3.36 bench_string_append 10     --tag --select btd --tag
-3.72 bench_string_append 10     --gc boehm --select btd
-3.68 bench_string_append 10     --gc boehm --tag --select btd
-3.71 bench_string_append 10     --gc boehm --tag --select btd --tag
-1.28 shootout_binarytrees 15
-1.24 shootout_binarytrees 15    --boost
-1.28 shootout_binarytrees 15    --tag
-1.26 shootout_binarytrees 15    --tag --tag
-4.34 shootout_binarytrees 15    --gc boehm
-4.34 shootout_binarytrees 15    --gc boehm --tag
-4.34 shootout_binarytrees 15    --gc boehm --tag --tag
-1.28 shootout_binarytrees 15    --select btd
-1.29 shootout_binarytrees 15    --tag --select btd
-1.28 shootout_binarytrees 15    --tag --select btd --tag
-4.34 shootout_binarytrees 15    --gc boehm --select btd
-4.34 shootout_binarytrees 15    --gc boehm --tag --select btd
-4.34 shootout_binarytrees 15    --gc boehm --tag --select btd --tag
-5.50 bench_random_n_sort 700
-4.66 bench_random_n_sort 700    --boost
-3.59 bench_random_n_sort 700    --tag
-3.45 bench_random_n_sort 700    --tag --tag
-5.97 bench_random_n_sort 700    --gc boehm
-3.60 bench_random_n_sort 700    --gc boehm --tag
-3.47 bench_random_n_sort 700    --gc boehm --tag --tag
-5.02 bench_random_n_sort 700    --select btd
-3.42 bench_random_n_sort 700    --tag --select btd
-3.33 bench_random_n_sort 700    --tag --select btd --tag
-5.39 bench_random_n_sort 700    --gc boehm --select btd
-3.43 bench_random_n_sort 700    --gc boehm --tag --select btd
-3.35 bench_random_n_sort 700    --gc boehm --tag --select btd --tag
-
diff --git a/tests/sav/bench_svn107_bird.log.res b/tests/sav/bench_svn107_bird.log.res
deleted file mode 100644 (file)
index 6efeea0..0000000
+++ /dev/null
@@ -1,65 +0,0 @@
-4.14 bench_int 40              
-4.01 bench_int 40      --boost 
-3.83 bench_int 40      --tag   
-4.28 bench_int 40      --tag --tag     
-4.21 bench_int 40      --gc boehm      
-4.32 bench_int 40      --gc boehm --tag        
-3.85 bench_int 40      --gc boehm --tag --tag  
-3.56 bench_int 40      --select btd    
-3.69 bench_int 40      --tag --select btd      
-3.63 bench_int 40      --tag --select btd --tag        
-3.96 bench_int 40      --gc boehm --select btd 
-4.20 bench_int 40      --gc boehm --tag --select btd   
-4.09 bench_int 40      --gc boehm --tag --select btd --tag     
-2.38 bench_netsim 1000000              
-1.45 bench_netsim 1000000      --boost 
-2.38 bench_netsim 1000000      --tag   
-2.36 bench_netsim 1000000      --tag --tag     
-4.99 bench_netsim 1000000      --gc boehm      
-4.47 bench_netsim 1000000      --gc boehm --tag        
-4.42 bench_netsim 1000000      --gc boehm --tag --tag  
-2.37 bench_netsim 1000000      --select btd    
-2.38 bench_netsim 1000000      --tag --select btd      
-2.31 bench_netsim 1000000      --tag --select btd --tag        
-5.00 bench_netsim 1000000      --gc boehm --select btd 
-4.45 bench_netsim 1000000      --gc boehm --tag --select btd   
-4.45 bench_netsim 1000000      --gc boehm --tag --select btd --tag     
-2.20 bench_string_append 10            
-1.91 bench_string_append 10    --boost 
-2.19 bench_string_append 10    --tag   
-2.21 bench_string_append 10    --tag --tag     
-2.37 bench_string_append 10    --gc boehm      
-2.41 bench_string_append 10    --gc boehm --tag        
-2.39 bench_string_append 10    --gc boehm --tag --tag  
-2.18 bench_string_append 10    --select btd    
-2.19 bench_string_append 10    --tag --select btd      
-2.19 bench_string_append 10    --tag --select btd --tag        
-2.38 bench_string_append 10    --gc boehm --select btd 
-2.39 bench_string_append 10    --gc boehm --tag --select btd   
-2.40 bench_string_append 10    --gc boehm --tag --select btd --tag     
-1.29 shootout_binarytrees 15           
-1.29 shootout_binarytrees 15   --boost 
-1.30 shootout_binarytrees 15   --tag   
-1.28 shootout_binarytrees 15   --tag --tag     
-5.51 shootout_binarytrees 15   --gc boehm      
-5.52 shootout_binarytrees 15   --gc boehm --tag        
-5.49 shootout_binarytrees 15   --gc boehm --tag --tag  
-1.30 shootout_binarytrees 15   --select btd    
-1.30 shootout_binarytrees 15   --tag --select btd      
-1.29 shootout_binarytrees 15   --tag --select btd --tag        
-5.63 shootout_binarytrees 15   --gc boehm --select btd 
-5.50 shootout_binarytrees 15   --gc boehm --tag --select btd   
-5.50 shootout_binarytrees 15   --gc boehm --tag --select btd --tag     
-3.87 bench_random_n_sort 700           
-3.00 bench_random_n_sort 700   --boost 
-2.39 bench_random_n_sort 700   --tag   
-2.30 bench_random_n_sort 700   --tag --tag     
-4.29 bench_random_n_sort 700   --gc boehm      
-2.38 bench_random_n_sort 700   --gc boehm --tag        
-2.33 bench_random_n_sort 700   --gc boehm --tag --tag  
-3.87 bench_random_n_sort 700   --select btd    
-2.30 bench_random_n_sort 700   --tag --select btd      
-2.36 bench_random_n_sort 700   --tag --select btd --tag        
-4.28 bench_random_n_sort 700   --gc boehm --select btd 
-2.30 bench_random_n_sort 700   --gc boehm --tag --select btd   
-2.33 bench_random_n_sort 700   --gc boehm --tag --select btd --tag     
diff --git a/tests/sav/bench_svn219_bird.log.res b/tests/sav/bench_svn219_bird.log.res
deleted file mode 100644 (file)
index 64e97d2..0000000
+++ /dev/null
@@ -1,66 +0,0 @@
-5.56 bench_421 5000000         
-5.56 bench_421 5000000 --boost 
-5.55 bench_421 5000000 --tag   
-5.38 bench_421 5000000 --tag --tag     
-5.59 bench_421 5000000 --gc boehm      
-5.49 bench_421 5000000 --gc boehm --tag        
-5.56 bench_421 5000000 --gc boehm --tag --tag  
-5.57 bench_421 5000000 --select btd    
-5.64 bench_421 5000000 --tag --select btd      
-5.62 bench_421 5000000 --tag --select btd --tag        
-5.50 bench_421 5000000 --gc boehm --select btd 
-5.41 bench_421 5000000 --gc boehm --tag --select btd   
-5.59 bench_421 5000000 --gc boehm --tag --select btd --tag     
-5.44 bench_421 5000000 ref_c   
-2.76 bench_netsim 1000000              
-1.92 bench_netsim 1000000      --boost 
-2.52 bench_netsim 1000000      --tag   
-2.50 bench_netsim 1000000      --tag --tag     
-10.07 bench_netsim 1000000     --gc boehm      
-4.56 bench_netsim 1000000      --gc boehm --tag        
-4.54 bench_netsim 1000000      --gc boehm --tag --tag  
-2.71 bench_netsim 1000000      --select btd    
-2.52 bench_netsim 1000000      --tag --select btd      
-2.53 bench_netsim 1000000      --tag --select btd --tag        
-10.29 bench_netsim 1000000     --gc boehm --select btd 
-4.59 bench_netsim 1000000      --gc boehm --tag --select btd   
-4.55 bench_netsim 1000000      --gc boehm --tag --select btd --tag     
-4.25 bench_string_append 10            
-4.01 bench_string_append 10    --boost 
-3.33 bench_string_append 10    --tag   
-3.34 bench_string_append 10    --tag --tag     
-30.14 bench_string_append 10   --gc boehm      
-3.52 bench_string_append 10    --gc boehm --tag        
-3.51 bench_string_append 10    --gc boehm --tag --tag  
-4.32 bench_string_append 10    --select btd    
-3.37 bench_string_append 10    --tag --select btd      
-3.33 bench_string_append 10    --tag --select btd --tag        
-30.09 bench_string_append 10   --gc boehm --select btd 
-3.54 bench_string_append 10    --gc boehm --tag --select btd   
-3.45 bench_string_append 10    --gc boehm --tag --select btd --tag     
-1.31 shootout_binarytrees 15           
-1.28 shootout_binarytrees 15   --boost 
-1.30 shootout_binarytrees 15   --tag   
-1.31 shootout_binarytrees 15   --tag --tag     
-5.53 shootout_binarytrees 15   --gc boehm      
-5.54 shootout_binarytrees 15   --gc boehm --tag        
-5.53 shootout_binarytrees 15   --gc boehm --tag --tag  
-1.31 shootout_binarytrees 15   --select btd    
-1.29 shootout_binarytrees 15   --tag --select btd      
-1.31 shootout_binarytrees 15   --tag --select btd --tag        
-5.56 shootout_binarytrees 15   --gc boehm --select btd 
-5.57 shootout_binarytrees 15   --gc boehm --tag --select btd   
-5.52 shootout_binarytrees 15   --gc boehm --tag --select btd --tag     
-3.73 bench_random_n_sort 700           
-3.02 bench_random_n_sort 700   --boost 
-2.04 bench_random_n_sort 700   --tag   
-2.04 bench_random_n_sort 700   --tag --tag     
-4.52 bench_random_n_sort 700   --gc boehm      
-2.04 bench_random_n_sort 700   --gc boehm --tag        
-2.06 bench_random_n_sort 700   --gc boehm --tag --tag  
-3.75 bench_random_n_sort 700   --select btd    
-2.02 bench_random_n_sort 700   --tag --select btd      
-2.04 bench_random_n_sort 700   --tag --select btd --tag        
-4.62 bench_random_n_sort 700   --gc boehm --select btd 
-2.04 bench_random_n_sort 700   --gc boehm --tag --select btd   
-2.06 bench_random_n_sort 700   --gc boehm --tag --select btd --tag     
diff --git a/tests/sav/error_file_access.res b/tests/sav/error_file_access.res
deleted file mode 100644 (file)
index dcacc20..0000000
+++ /dev/null
@@ -1 +0,0 @@
-FILE_ACCESS
diff --git a/tests/sav/error_loop_bool_until.res b/tests/sav/error_loop_bool_until.res
deleted file mode 100644 (file)
index 89856f1..0000000
+++ /dev/null
@@ -1 +0,0 @@
-./error_loop_bool_until.nit:2,1--7: Error: Method or variable 'until' unknown in Sys.
diff --git a/tests/sav/example_array_sort.res b/tests/sav/example_array_sort.res
deleted file mode 100644 (file)
index 2d41645..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-47 72 94 80 23 35 64 68 88 34 47 25 99 32 22 89 52 38 37 43 45 79 40 70 13 97 35 38 18 76 35 49 78 28 50 88 38 41 27 68 58 38 80 34 59 31 96 60 45 93
-13 18 22 23 25 27 28 31 32 34 34 35 35 35 37 38 38 38 38 40 41 43 45 45 47 47 49 50 52 58 59 60 64 68 68 70 72 76 78 79 80 80 88 88 89 93 94 96 97 99
-80 40 50 80 70 60 41 31 32 72 52 22 23 13 93 43 94 34 34 64 35 35 45 45 25 35 76 96 47 47 37 97 27 68 68 28 58 78 38 38 18 88 88 38 38 79 89 49 99 59
-99 97 96 94 93 89 88 88 80 80 79 78 76 72 70 68 68 64 60 59 58 52 50 49 47 47 45 45 43 41 40 38 38 38 38 37 35 35 35 34 34 32 31 28 27 25 23 22 18 13
-60 80 70 40 50 80 41 31 32 52 22 72 93 13 23 43 64 94 34 34 25 35 35 35 45 45 76 96 47 47 27 37 97 38 38 38 38 88 58 18 78 88 28 68 68 59 79 49 89 99
diff --git a/tests/sav/example_power_with_iterate.res b/tests/sav/example_power_with_iterate.res
deleted file mode 100644 (file)
index 06d3a66..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-2
-4
-8
-16
-32
-64
-128
-256
diff --git a/tests/sav/ni_nitdoc.res b/tests/sav/ni_nitdoc.res
deleted file mode 100644 (file)
index 0a917d7..0000000
+++ /dev/null
@@ -1,23 +0,0 @@
-usage: nitdoc [options] file...
-  -W, --warn               Show warnings
-  -q, --quiet              Do not show warnings
-  --stop-on-first-error    Stop on first error
-  --no-color               Do not use color to display errors and warnings
-  --log                    Generate various log files
-  --log-dir                Directory where to generate log files
-  -h, -?, --help           Show Help (This screen)
-  --version                Show version and exit
-  -v, --verbose            Verbose
-  -I, --path               Set include path for loaders (may be used more than once)
-  --only-parse             Only proceed to parse step of loaders
-  --only-metamodel         Stop after meta-model processing
-  -d, --dir                Directory where doc is generated
-  --source                 What link for source (%f for filename, %l for first line, %L for last line)
-  --sharedir               Directory containing the nitdoc files
-  --no-dot                 Do not generate graphes with graphiviz
-  --private                Generate the private API
-  --custom-title           Title displayed in the top of the Overview page and as suffix of all page names
-  --custom-footer-text     Text displayed as footer of all pages
-  --custom-overview-text   Text displayed as introduction of Overview page before the modules list
-  --custom-menu-items      Items displayed in menu before the 'Overview' item (Each item must be enclosed in 'li' tags)
-  --github-origin          The branch where edited commits will be pulled into (ex: user:repo:branch)
diff --git a/tests/sav/ni_nitdoc_args1.res b/tests/sav/ni_nitdoc_args1.res
deleted file mode 100644 (file)
index 7c2f531..0000000
+++ /dev/null
@@ -1,46 +0,0 @@
-ZeroClipboard.swf
-class_module_0_Int.html
-class_module_0_Object.html
-class_module_0_Sys.html
-class_module_1_A.html
-class_module_1_B.html
-dep.dot
-dep.map
-dep.png
-dep.s.dot
-dep_A.dot
-dep_A.map
-dep_A.png
-dep_A.s.dot
-dep_B.dot
-dep_B.map
-dep_B.png
-dep_B.s.dot
-dep_Int.dot
-dep_Int.map
-dep_Int.png
-dep_Int.s.dot
-dep_Object.dot
-dep_Object.map
-dep_Object.png
-dep_Object.s.dot
-dep_Sys.dot
-dep_Sys.map
-dep_Sys.png
-dep_Sys.s.dot
-dep_module_0.dot
-dep_module_0.map
-dep_module_0.png
-dep_module_0.s.dot
-dep_module_1.dot
-dep_module_1.map
-dep_module_1.png
-dep_module_1.s.dot
-index.html
-module_module_0.html
-module_module_1.html
-quicksearch-list.js
-resources/
-scripts/
-search.html
-styles/
diff --git a/tests/sav/nitcc_test_parser.res b/tests/sav/nitcc_test_parser.res
deleted file mode 100644 (file)
index b3f4482..0000000
+++ /dev/null
@@ -1 +0,0 @@
-usage nitcc_test <filepath> | - | -e <text>
diff --git a/tests/sav/nitdbg_server.res b/tests/sav/nitdbg_server.res
deleted file mode 100644 (file)
index a61c3d8..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-Usage: nit [OPTION]... <file.nit>...
-Interprets and debbugs Nit programs.
-Use --help for help
diff --git a/tests/sav/test_iterate.res b/tests/sav/test_iterate.res
deleted file mode 100644 (file)
index 2df32ac..0000000
+++ /dev/null
@@ -1,152 +0,0 @@
-Array: iterator
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-Array: iterate
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-Array: for
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-
-List: iterator
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-List: iterate
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-List: for
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-
-ArraySet: iterator
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-ArraySet: iterate
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-ArraySet: for
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-
-HashSet: iterator
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-HashSet: iterate
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-HashSet: for
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-
-ORange: iterator
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-ORange: iterate
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-ORange: for
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-
-CRange: iterator
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-CRange: iterate
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-CRange: for
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-
-ArrayMap: iterator
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-ArrayMap: iterate
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-ArrayMap: for
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-
-HashMap: iterator
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-HashMap: iterate
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-HashMap: for
-  0->0
-  1->1
-  2->2
-  3->3
-  4->4
-
diff --git a/tests/sav/test_ni_accessor.res b/tests/sav/test_ni_accessor.res
deleted file mode 100644 (file)
index 06a4146..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-r rw
-r rw set from native
-rw set from native
-set from native
diff --git a/tests/sav/test_ni_fibonacci.res b/tests/sav/test_ni_fibonacci.res
deleted file mode 100644 (file)
index 310b228..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-0
-1
-5
-144
-0
-1
-5
-144
diff --git a/tests/sav/test_ni_new.res b/tests/sav/test_ni_new.res
deleted file mode 100644 (file)
index 5979542..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-a
-a
-allo from 1234
-allo from 2345
-allo from 3456
-allo from 1234
-allo from 1234
diff --git a/tests/sav/test_ni_primitives.res b/tests/sav/test_ni_primitives.res
deleted file mode 100644 (file)
index c68bddc..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-false
-true
-k
-2234
-12345.0
-hello world
diff --git a/tests/sav/test_ni_super.res b/tests/sav/test_ni_super.res
deleted file mode 100644 (file)
index 71acf9f..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-A
-B special A
diff --git a/tests/sav/test_partial_order.res b/tests/sav/test_partial_order.res
deleted file mode 100644 (file)
index 4226a7c..0000000
+++ /dev/null
@@ -1,40 +0,0 @@
-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