promote tests

test/opt/output.t

@@ -1,7 +1,6 @@
   $ owi opt fbinop.wat -o bar.wat
   $ owi fmt bar.wat
   (module
-
     (type (sub final  (func)))
     (func $start
 

test/script/gc.t

@@ -22,7 +22,27 @@
   $ owi script --no-exhaustion reference/proposals/gc/ref_eq.wast
   owi: internal error, uncaught exception:
        File "src/ast/types.ml", line 923, characters 12-18: Assertion failed
-
+       Raised at Owi__Types.compare_str_type in file "src/ast/types.ml", line 923, characters 12-24
+       Called from Stdlib__Map.Make.add in file "map.ml", line 129, characters 18-33
+       Called from Owi__Assigned.assign_type in file "src/text_to_binary/assigned.ml", line 53, characters 20-53
+       Called from Owi__Syntax.let+ in file "src/utils/syntax.ml", line 9, characters 43-48
+       Called from Owi__Assigned.assign_type in file "src/text_to_binary/assigned.ml", lines 44-54, characters 4-63
+       Called from Stdlib__List.fold_left in file "list.ml", line 123, characters 24-34
+       Called from Owi__Assigned.assign_types in file "src/text_to_binary/assigned.ml", line 87, characters 13-70
+       Called from Owi__Assigned.of_grouped in file "src/text_to_binary/assigned.ml", line 131, characters 13-31
+       Called from Owi__Compile.Text.until_binary in file "src/ast/compile.ml", line 20, characters 13-35
+       Called from Owi__Compile.Text.until_binary_validate in file "src/ast/compile.ml", line 24, characters 13-35
+       Called from Owi__Compile.Text.until_optimize in file "src/ast/compile.ml", line 31, characters 13-44
+       Called from Owi__Compile.Text.until_link in file "src/ast/compile.ml", line 35, characters 13-47
+       Called from Owi__Compile.Text.until_interpret in file "src/ast/compile.ml", line 39, characters 25-72
+       Called from Owi__Script.run.(fun) in file "src/script/script.ml", line 160, characters 10-80
+       Called from Stdlib__List.fold_left in file "list.ml", line 123, characters 24-34
+       Called from Owi__Script.exec in file "src/script/script.ml", line 290, characters 21-56
+       Called from Owi__Syntax.list_iter.(fun) in file "src/utils/syntax.ml", line 18, characters 14-17
+       Called from Stdlib__List.iter in file "list.ml", line 112, characters 12-15
+       Called from Owi__Syntax.list_iter in file "src/utils/syntax.ml", lines 16-23, characters 4-7
+       Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24
+       Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44
   [125]
   $ owi script --no-exhaustion reference/proposals/gc/ref_test.wast
   unknown operator unknown operator "any.convert_extern"

test/sym/add.t

@@ -16,15 +16,17 @@ add binop:
   Reached problem!
   [13]
   $ owi sym add_f32.wat --no-value --deterministic-result-order
-  Assert failure: (f32.eq (f32.add symbol_0 symbol_1) (f32.add symbol_0 symbol_1))
+  Assert failure: (f32.eq (f32.add symbol_0 symbol_1)
+                   (f32.add symbol_0 symbol_1))
   Model:
     (model
       (symbol_0 f32)
       (symbol_1 f32))
   Reached problem!
   [13]
   $ owi sym add_f64.wat --no-value --deterministic-result-order
-  Assert failure: (f64.eq (f64.add symbol_0 symbol_1) (f64.add symbol_0 symbol_1))
+  Assert failure: (f64.eq (f64.add symbol_0 symbol_1)
+                   (f64.add symbol_0 symbol_1))
   Model:
     (model
       (symbol_0 f64)

test/sym/div.t

@@ -26,15 +26,17 @@ div binop:
   Reached 2 problems!
   [13]
   $ owi sym div_f32.wat --no-value --deterministic-result-order -w1
-  Assert failure: (f32.eq (f32.div symbol_0 symbol_1) (f32.div symbol_0 symbol_1))
+  Assert failure: (f32.eq (f32.div symbol_0 symbol_1)
+                   (f32.div symbol_0 symbol_1))
   Model:
     (model
       (symbol_0 f32)
       (symbol_1 f32))
   Reached problem!
   [13]
   $ owi sym div_f64.wat --no-value --deterministic-result-order -w1
-  Assert failure: (f64.eq (f64.div symbol_0 symbol_1) (f64.div symbol_0 symbol_1))
+  Assert failure: (f64.eq (f64.div symbol_0 symbol_1)
+                   (f64.div symbol_0 symbol_1))
   Model:
     (model
       (symbol_0 f64)

test/sym/mul.t

@@ -16,15 +16,17 @@ mul binop:
   Reached problem!
   [13]
   $ owi sym mul_f32.wat --no-value --deterministic-result-order
-  Assert failure: (f32.eq (f32.mul symbol_0 symbol_1) (f32.mul symbol_0 symbol_1))
+  Assert failure: (f32.eq (f32.mul symbol_0 symbol_1)
+                   (f32.mul symbol_0 symbol_1))
   Model:
     (model
       (symbol_0 f32)
       (symbol_1 f32))
   Reached problem!
   [13]
   $ owi sym mul_f64.wat --no-value --deterministic-result-order
-  Assert failure: (f64.eq (f64.mul symbol_0 symbol_1) (f64.mul symbol_0 symbol_1))
+  Assert failure: (f64.eq (f64.mul symbol_0 symbol_1)
+                   (f64.mul symbol_0 symbol_1))
   Model:
     (model
       (symbol_0 f64)

test/sym/sub.t

@@ -16,15 +16,17 @@ sub binop:
   Reached problem!
   [13]
   $ owi sym sub_f32.wat --no-value --deterministic-result-order
-  Assert failure: (f32.eq (f32.sub symbol_0 symbol_1) (f32.sub symbol_0 symbol_1))
+  Assert failure: (f32.eq (f32.sub symbol_0 symbol_1)
+                   (f32.sub symbol_0 symbol_1))
   Model:
     (model
       (symbol_0 f32)
       (symbol_1 f32))
   Reached problem!
   [13]
   $ owi sym sub_f64.wat --no-value --deterministic-result-order
-  Assert failure: (f64.eq (f64.sub symbol_0 symbol_1) (f64.sub symbol_0 symbol_1))
+  Assert failure: (f64.eq (f64.sub symbol_0 symbol_1)
+                   (f64.sub symbol_0 symbol_1))
   Model:
     (model
       (symbol_0 f64)

test/wasm2wat/output.t

@@ -1,9 +1,7 @@
   $ owi wasm2wat done.wasm -o bar.wat
   $ owi fmt bar.wat
   (module
-
     (type (sub final  (func (param i32) (param i32) (result i32))))
-
     (type (sub final  (func)))
     (func (param i32) (param i32) (result i32)
       local.get 0