diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-03-02 00:19:26 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-02 00:19:26 -0500 |
| commit | 276325e440f554751afa96f581c180f96474b435 (patch) | |
| tree | 522b1de914a9867db7ebd3612c3afb0d3f749eb6 | |
| parent | 591b5480c7cc59e86e485d94365393557af8240b (diff) | |
notice segfaults in native fuzz builds
| -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 |