lib/html: implement the tag list as an hashset instead of a array.

[nit.git] / contrib / nitester / src / nitester.nit

diff --git a/contrib/nitester/src/nitester.nit b/contrib/nitester/src/nitester.nit
index eed0d4b..8f28415 100644 (file)
--- a/contrib/nitester/src/nitester.nit
+++ b/contrib/nitester/src/nitester.nit
@@ -77,7 +77,7 @@ abstract class Processor
        var engines: Array[String] is noinit
 
        # All known engines, used to detect errors in `engines`
-       var all_engines: Array[String] = ["nitg-s", "nitg-sg", "nitg-g", "nitg-e", "niti", "emscripten"]
+       var all_engines: Array[String] = ["nitcs", "nitcsg", "nitcg", "nitce", "niti", "emscripten"]
 
        # Programs to test in this execution
        var test_programs: Array[String] is noinit
@@ -131,7 +131,6 @@ abstract class Processor
                                else
                                        full_path.file_delete
                                end
-                               stat.free
                        end
                        mpi.finalize
                        exit 0
@@ -150,7 +149,7 @@ abstract class Processor
                var engines
                if engines_str == null then
                        # default
-                       engines = ["nitg-s"]
+                       engines = ["nitcs"]
                else
                        engines = engines_str.split(',')
 
@@ -180,7 +179,7 @@ abstract class Processor
                var skip_path = "tests/turing.skip"
                var skip
                if skip_path.file_exists then
-                       var skip_file = new IFStream.open(skip_path)
+                       var skip_file = new FileReader.open(skip_path)
                        skip = skip_file.read_lines
                        skip_file.close
                else
@@ -463,7 +462,7 @@ class Worker
                                        sys.system cmd
 
                                        # Test results were written to file, read them
-                                       var fstream = new IFStream.open(tests_sh_out)
+                                       var fstream = new FileReader.open(tests_sh_out)
                                        var content = fstream.read_all
                                        fstream.close