aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2013-03-10 08:41:12 -0700
committerAlon Zakai <alonzakai@gmail.com>2013-03-10 08:41:12 -0700
commitb900ac09a2da00442e70be78136b180e820480bf (patch)
tree06f5a30498cab7aad0100cd6a2e9e6f6c7904322
parent683c5b45085fd947d66e7ade49e1bc1df000c06a (diff)
save asm validation errors and continue, in fuzzer
-rwxr-xr-xtests/fuzz/csmith_driver.py8
1 files changed, 7 insertions, 1 deletions
diff --git a/tests/fuzz/csmith_driver.py b/tests/fuzz/csmith_driver.py
index 5bdef009..ac033377 100755
--- a/tests/fuzz/csmith_driver.py
+++ b/tests/fuzz/csmith_driver.py
@@ -114,7 +114,13 @@ while 1:
break
# asm.js testing
- assert 'warning: Successfully compiled asm.js code' in js2, 'must validate'
+ if 'warning: Successfully compiled asm.js code' not in js2:
+ print "ODIN VALIDATION BUG"
+ notes['embug'] += 1
+ fails += 1
+ shutil.copyfile('fuzzcode.c', 'newfail%d.c' % fails)
+ continue
+
js2 = js2.replace('\nwarning: Successfully compiled asm.js code\n', '')
assert js2 == correct1 or js2 == correct2, ''.join([a.rstrip()+'\n' for a in difflib.unified_diff(correct1.split('\n'), js2.split('\n'), fromfile='expected', tofile='actual')]) + 'ODIN FAIL'