diff options
Diffstat (limited to 'test/example/relooper-fuzz.txt')
| -rw-r--r-- | test/example/relooper-fuzz.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/example/relooper-fuzz.txt b/test/example/relooper-fuzz.txt index 5a631c41c..f0ddfdc19 100644 --- a/test/example/relooper-fuzz.txt +++ b/test/example/relooper-fuzz.txt @@ -1,11 +1,11 @@ (module - (memory $0 1 1) - (start $main) (type $i (func (result i32))) (type $v (func)) (type $vi (func (param i32))) (import "spectest" "print" (func $print (param i32))) + (memory $0 1 1) (export "mem" (memory $0)) + (start $main) (func $check (type $i) (result i32) (if (i32.eq @@ -292,13 +292,13 @@ ) ) (module - (memory $0 1 1) - (start $main) (type $i (func (result i32))) (type $v (func)) (type $vi (func (param i32))) (import "spectest" "print" (func $print (param i32))) + (memory $0 1 1) (export "mem" (memory $0)) + (start $main) (func $check (type $i) (result i32) (if (i32.eq |