Skip to content

Commit

Permalink
promote tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@zapashcanon
zapashcanon committed Jan 22, 2024
1 parent e73a67f commit fd3b3ec
Show file tree
Hide file tree
Showing 9 changed files with 246 additions and 246 deletions.
28 changes: 14 additions & 14 deletions example/c/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ $ dune exec owi -- c ./poly.c
...
Model:
(model
(symbol_0 i32 (i32 1)))
(symbol_0 (i32 1)))
Reached problem!
```

Expand Down Expand Up @@ -77,7 +77,7 @@ $ dune exec owi -- c ./poly2.c
...
Model:
(model
(symbol_0 i32 (i32 -2147483644)))
(symbol_0 (i32 -2147483644)))
Reached problem!
```

Expand Down Expand Up @@ -168,18 +168,18 @@ $ dune exec owi -- c ./maze.c
Assert failure: false
Model:
(model
(symbol_6 i32 (i32 100))
(symbol_0 i32 (i32 115))
(symbol_10 i32 (i32 100))
(symbol_8 i32 (i32 115))
(symbol_9 i32 (i32 100))
(symbol_2 i32 (i32 100))
(symbol_1 i32 (i32 100))
(symbol_7 i32 (i32 100))
(symbol_3 i32 (i32 119))
(symbol_4 i32 (i32 100))
(symbol_5 i32 (i32 100))
(symbol_11 i32 (i32 119)))
(symbol_0 (i32 115))
(symbol_1 (i32 100))
(symbol_10 (i32 100))
(symbol_11 (i32 119))
(symbol_2 (i32 100))
(symbol_3 (i32 119))
(symbol_4 (i32 100))
(symbol_5 (i32 100))
(symbol_6 (i32 100))
(symbol_7 (i32 100))
(symbol_8 (i32 115))
(symbol_9 (i32 100)))
Reached problem!
```

Expand Down
2 changes: 1 addition & 1 deletion example/sym/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ $ dune exec owi -- sym ./mini.wat
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 6)))
(symbol_0 (i32 6)))
Reached problem!
```

Expand Down
4 changes: 2 additions & 2 deletions test/sym/assume.t
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,6 @@ symbolic extern module (assume and assert test):
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 571440828))
(symbol_1 i32 (i32 1744863297)))
(symbol_0 (i32 571440828))
(symbol_1 (i32 1744863297)))
Reached problem!
124 changes: 62 additions & 62 deletions test/sym/binop.t
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,204 +3,204 @@ binop i32:
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 -1073741923)))
(symbol_0 (i32 -1073741923)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 2147483549)))
(symbol_0 (i32 2147483549)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 50)))
(symbol_0 (i32 50)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 -42)))
(symbol_0 (i32 -42)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 42)))
(symbol_0 (i32 42)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 0)))
(symbol_0 (i32 0)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 30)))
(symbol_0 (i32 30)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 -34)))
(symbol_0 (i32 -34)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 -46)))
(symbol_0 (i32 -46)))
Reached 9 problems!
binop i32 (2):
$ dune exec owi -- sym binop_i32-2.wat --no-stop-at-failure
Trap: unreachable
Model:
(model
(symbol_2 i32 (i32 -65))
(symbol_1 i32 (i32 -65)))
(symbol_1 (i32 -65))
(symbol_2 (i32 -65)))
Trap: unreachable
Model:
(model
(symbol_2 i32 (i32 0))
(symbol_1 i32 (i32 1)))
(symbol_1 (i32 1))
(symbol_2 (i32 0)))
Trap: unreachable
Model:
(model
(symbol_2 i32 (i32 0))
(symbol_1 i32 (i32 0))
(symbol_3 i32 (i32 0)))
(symbol_1 (i32 0))
(symbol_2 (i32 0))
(symbol_3 (i32 0)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 2))
(symbol_2 i32 (i32 0))
(symbol_1 i32 (i32 0))
(symbol_3 i32 (i32 2)))
(symbol_0 (i32 2))
(symbol_1 (i32 0))
(symbol_2 (i32 0))
(symbol_3 (i32 2)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 -2147483618))
(symbol_2 i32 (i32 0))
(symbol_1 i32 (i32 0))
(symbol_3 i32 (i32 -2147483648)))
(symbol_0 (i32 -2147483618))
(symbol_1 (i32 0))
(symbol_2 (i32 0))
(symbol_3 (i32 -2147483648)))
Reached 5 problems!
binop i64:
$ dune exec owi -- sym binop_i64.wat --no-stop-at-failure
Trap: unreachable
Model:
(model
(symbol_0 i64 (i64 -9223231299366420579)))
(symbol_0 (i64 -9223231299366420579)))
Trap: unreachable
Model:
(model
(symbol_0 i64 (i64 9223372036854775709)))
(symbol_0 (i64 9223372036854775709)))
Trap: unreachable
Model:
(model
(symbol_0 i64 (i64 50)))
(symbol_0 (i64 50)))
Trap: unreachable
Model:
(model
(symbol_0 i64 (i64 -42)))
(symbol_0 (i64 -42)))
Trap: unreachable
Model:
(model
(symbol_0 i64 (i64 42)))
(symbol_0 (i64 42)))
Trap: unreachable
Model:
(model
(symbol_0 i64 (i64 0)))
(symbol_0 (i64 0)))
Trap: unreachable
Model:
(model
(symbol_0 i64 (i64 30)))
(symbol_0 (i64 30)))
Trap: unreachable
Model:
(model
(symbol_0 i64 (i64 -34)))
(symbol_0 (i64 -34)))
Trap: unreachable
Model:
(model
(symbol_0 i64 (i64 -99)))
(symbol_0 (i64 -99)))
Reached 9 problems!
binop i64 (2):
$ dune exec owi -- sym binop_i64-2.wat --no-stop-at-failure
Trap: unreachable
Model:
(model
(symbol_1 i64 (i64 0))
(symbol_2 i64 (i64 0)))
(symbol_1 (i64 0))
(symbol_2 (i64 0)))
Trap: unreachable
Model:
(model
(symbol_1 i64 (i64 -1))
(symbol_2 i64 (i64 -1)))
(symbol_1 (i64 -1))
(symbol_2 (i64 -1)))
Trap: unreachable
Model:
(model
(symbol_1 i64 (i64 -1))
(symbol_2 i64 (i64 -2))
(symbol_3 i64 (i64 0)))
(symbol_1 (i64 -1))
(symbol_2 (i64 -2))
(symbol_3 (i64 0)))
Trap: unreachable
Model:
(model
(symbol_1 i64 (i64 -2))
(symbol_0 i64 (i64 -9223372036854775808))
(symbol_2 i64 (i64 -1))
(symbol_3 i64 (i64 4611686018427387904)))
(symbol_0 (i64 -9223372036854775808))
(symbol_1 (i64 -2))
(symbol_2 (i64 -1))
(symbol_3 (i64 4611686018427387904)))
Trap: unreachable
Model:
(model
(symbol_1 i64 (i64 -2))
(symbol_0 i64 (i64 -9223372036854775804))
(symbol_2 i64 (i64 -1))
(symbol_3 i64 (i64 -4611686018427387904)))
(symbol_0 (i64 -9223372036854775804))
(symbol_1 (i64 -2))
(symbol_2 (i64 -1))
(symbol_3 (i64 -4611686018427387904)))
Reached 5 problems!
binop f32:
$ dune exec owi -- sym binop_f32.wat --no-stop-at-failure
Trap: unreachable
Model:
(model
(symbol_0 f32 (f32 -200.000015259)))
(symbol_0 (f32 -200.000015259)))
Trap: unreachable
Model:
(model
(symbol_0 f32 (f32 200.000015259)))
(symbol_0 (f32 200.000015259)))
Trap: unreachable
Model:
(model
(symbol_0 f32 (f32 -42.)))
(symbol_0 (f32 -42.)))
Trap: unreachable
Model:
(model
(symbol_0 f32 (f32 42.)))
(symbol_0 (f32 42.)))
Trap: unreachable
Model:
(model
(symbol_0 f32 (f32 0.)))
(symbol_0 (f32 0.)))
Trap: unreachable
Model:
(model
(symbol_0 f32 (f32 1.12103877146e-44)))
(symbol_0 (f32 1.12103877146e-44)))
Trap: unreachable
Model:
(model
(symbol_0 f32 (f32 -64.0058822632)))
(symbol_0 (f32 -64.0058822632)))
Reached 7 problems!
binop f64:
$ dune exec owi -- sym binop_f64.wat --no-stop-at-failure
Trap: unreachable
Model:
(model
(symbol_0 f64 (f64 -200.)))
(symbol_0 (f64 -200.)))
Trap: unreachable
Model:
(model
(symbol_0 f64 (f64 200.)))
(symbol_0 (f64 200.)))
Trap: unreachable
Model:
(model
(symbol_0 f64 (f64 -42.)))
(symbol_0 (f64 -42.)))
Trap: unreachable
Model:
(model
(symbol_0 f64 (f64 42.)))
(symbol_0 (f64 42.)))
Trap: unreachable
Model:
(model
(symbol_0 f64 (f64 -0.)))
(symbol_0 (f64 -0.)))
Trap: unreachable
Model:
(model
(symbol_0 f64 (f64 4.94065645841e-323)))
(symbol_0 (f64 4.94065645841e-323)))
Trap: unreachable
Model:
(model
(symbol_0 f64 (f64 1.48302076647e-309)))
(symbol_0 (f64 1.48302076647e-309)))
Reached 7 problems!
20 changes: 10 additions & 10 deletions test/sym/global.t
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,23 +3,23 @@ global vars stuff:
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 6)))
(symbol_0 (i32 6)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 -2147483642))
(symbol_1 i64 (i64 0)))
(symbol_0 (i32 -2147483642))
(symbol_1 (i64 0)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 -2147483642))
(symbol_1 i64 (i64 4611686018427387904))
(symbol_2 f32 (f32 14.0000019073)))
(symbol_0 (i32 -2147483642))
(symbol_1 (i64 4611686018427387904))
(symbol_2 (f32 14.0000019073)))
Trap: unreachable
Model:
(model
(symbol_0 i32 (i32 -2147483642))
(symbol_1 i64 (i64 4611686018427387904))
(symbol_2 f32 (f32 4.1142307884e-38))
(symbol_3 f64 (f64 4.94065645841e-324)))
(symbol_0 (i32 -2147483642))
(symbol_1 (i64 4611686018427387904))
(symbol_2 (f32 4.1142307884e-38))
(symbol_3 (f64 4.94065645841e-324)))
Reached 4 problems!
Loading

0 comments on commit fd3b3ec

Please sign in to comment.