diff options
Diffstat (limited to 'src/relooper/test_fuzz3.txt')
| -rw-r--r-- | src/relooper/test_fuzz3.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/relooper/test_fuzz3.txt b/src/relooper/test_fuzz3.txt index aeeccf87..b4b1831d 100644 --- a/src/relooper/test_fuzz3.txt +++ b/src/relooper/test_fuzz3.txt @@ -4,6 +4,6 @@ print('entry'); var label; var state; var decisions = [3, 3, 4, 1, 2, 1, 2, 4, 4 print(1); state = check(); print(3); state = check(); while(1) { - print(4); state = check(); + print(4); state = check(); } |