diff options
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/fuzz/csmith_driver.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/fuzz/csmith_driver.py b/tests/fuzz/csmith_driver.py index ea50e7dd..a61dcc92 100755 --- a/tests/fuzz/csmith_driver.py +++ b/tests/fuzz/csmith_driver.py @@ -45,6 +45,7 @@ while 1: print '3) Run natively' try: correct = shared.timeout_run(Popen([filename], stdout=PIPE, stderr=PIPE), 3) + if 'Segmentation fault' in correct or len(correct) < 10: raise Exception('segfault') except Exception, e: print 'Failed or infinite looping in native, skipping', e notes['invalid'] += 1 |