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 438a4bca1..e53ca13ce 100644 --- a/test/example/relooper-fuzz.txt +++ b/test/example/relooper-fuzz.txt @@ -6,7 +6,7 @@ (memory $0 1 1) (export "mem" (memory $0)) (start $main) - (func $check (type $i) (result i32) + (func $check (; 1 ;) (type $i) (result i32) (if (i32.eq (i32.load @@ -41,7 +41,7 @@ ) ) ) - (func $main (type $v) + (func $main (; 2 ;) (type $v) (local $0 i32) (local $1 i32) (i32.store @@ -299,7 +299,7 @@ (memory $0 1 1) (export "mem" (memory $0)) (start $main) - (func $check (type $i) (result i32) + (func $check (; 1 ;) (type $i) (result i32) (if (i32.eq (i32.load @@ -334,7 +334,7 @@ ) ) ) - (func $main (type $v) + (func $main (; 2 ;) (type $v) (local $0 i32) (local $1 i32) (i32.store |