Promote tests

filipeom · zapashcanon · commit 2eccec10b91b · 2025-05-15T11:23:44.000Z
diff --git a/test/c/range.t b/test/c/range.t
@@ -1,5 +1,5 @@
   $ owi c ./range.c
-  owi: [ERROR] Assert failure: (i32.gt_s symbol_1 100)
+  owi: [ERROR] Assert failure: (i32.lt_s 100 symbol_1)
   model {
     symbol symbol_0 i32 16
     symbol symbol_1 i32 100
diff --git a/test/replay/assert_false.t b/test/replay/assert_false.t
@@ -1,5 +1,5 @@
   $ owi sym assert_false.wat -w1
-  owi: [ERROR] Assert failure: (i32.gt_u symbol_0 symbol_1)
+  owi: [ERROR] Assert failure: (i32.lt_u symbol_1 symbol_0)
   model {
     symbol symbol_0 i32 38077858
     symbol symbol_1 i32 38175397
diff --git a/test/replay/model_out_file.t b/test/replay/model_out_file.t
@@ -1,5 +1,5 @@
   $ owi sym model_out_file.wat --model-out-file=model_out_file.scfg
-  owi: [ERROR] Assert failure: (i32.ge_u symbol_0 20)
+  owi: [ERROR] Assert failure: (i32.le_u 20 symbol_0)
   owi: [ERROR] Reached problem!
   [13]
 
diff --git a/test/rust/entry_point.t b/test/rust/entry_point.t
@@ -1,6 +1,6 @@
 entry_point:
   $ owi rust entry_point.rs --entry-point=fun
-  owi: [ERROR] Assert failure: (i32.ge_s symbol_0 4)
+  owi: [ERROR] Assert failure: (i32.le_s 4 symbol_0)
   model {
     symbol symbol_0 i32 2
   }
diff --git a/test/sym/mul.t b/test/sym/mul.t
@@ -1,14 +1,14 @@
 mul binop:
   $ owi sym mul_i32.wat --no-value --deterministic-result-order
-  owi: [ERROR] Assert failure: (i32.ge_s (i32.mul symbol_0 symbol_1) 0)
+  owi: [ERROR] Assert failure: (i32.le_s 0 (i32.mul symbol_0 symbol_1))
   model {
     symbol symbol_0 i32
     symbol symbol_1 i32
   }
   owi: [ERROR] Reached problem!
   [13]
   $ owi sym mul_i64.wat --no-value --deterministic-result-order
-  owi: [ERROR] Assert failure: (i64.ge_s (i64.mul symbol_0 symbol_1) 0)
+  owi: [ERROR] Assert failure: (i64.le_s 0 (i64.mul symbol_0 symbol_1))
   model {
     symbol symbol_0 i64
     symbol symbol_1 i64
diff --git a/test/sym/sub.t b/test/sym/sub.t
@@ -1,14 +1,14 @@
 sub binop:
   $ owi sym sub_i32.wat --no-value --deterministic-result-order
-  owi: [ERROR] Assert failure: (i32.ge_s symbol_0 (i32.sub symbol_0 symbol_1))
+  owi: [ERROR] Assert failure: (i32.le_s (i32.sub symbol_0 symbol_1) symbol_0)
   model {
     symbol symbol_0 i32
     symbol symbol_1 i32
   }
   owi: [ERROR] Reached problem!
   [13]
   $ owi sym sub_i64.wat --no-value --deterministic-result-order
-  owi: [ERROR] Assert failure: (i64.ge_s symbol_0 (i64.sub symbol_0 symbol_1))
+  owi: [ERROR] Assert failure: (i64.le_s (i64.sub symbol_0 symbol_1) symbol_0)
   model {
     symbol symbol_0 i64
     symbol symbol_1 i64
diff --git a/test/zig/entry_point.t b/test/zig/entry_point.t
@@ -1,6 +1,6 @@
 entry_point:
   $ owi zig entry_point.zig --entry-point=fun
-  owi: [ERROR] Assert failure: (i32.ge_s symbol_0 5)
+  owi: [ERROR] Assert failure: (i32.le_s 5 symbol_0)
   model {
     symbol symbol_0 i32 4
   }

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`entry_point:`
`2`	`2`	`$ owi rust entry_point.rs --entry-point=fun`
`3`		`- owi: [ERROR] Assert failure: (i32.ge_s symbol_0 4)`
	`3`	`+ owi: [ERROR] Assert failure: (i32.le_s 4 symbol_0)`
`4`	`4`	`model {`
`5`	`5`	`symbol symbol_0 i32 2`
`6`	`6`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`entry_point:`
`2`	`2`	`$ owi zig entry_point.zig --entry-point=fun`
`3`		`- owi: [ERROR] Assert failure: (i32.ge_s symbol_0 5)`
	`3`	`+ owi: [ERROR] Assert failure: (i32.le_s 5 symbol_0)`
`4`	`4`	`model {`
`5`	`5`	`symbol symbol_0 i32 4`
`6`	`6`	`}`