From: Ulya Trofimovich Date: Wed, 25 Apr 2018 21:49:15 +0000 (+0100) Subject: Improved error reporting in fuzz-testing script. X-Git-Tag: 1.1~47 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=bda341ad6638fb718fdf3d8749e5ef50351a9712;p=re2c Improved error reporting in fuzz-testing script. --- diff --git a/re2c/fuzz/regex_tdfa/check.hs b/re2c/fuzz/regex_tdfa/check.hs index cde049e6..ce3a06cd 100644 --- a/re2c/fuzz/regex_tdfa/check.hs +++ b/re2c/fuzz/regex_tdfa/check.hs @@ -160,6 +160,8 @@ prop_test_re2c r1 = QM.monadicIO $ do ++ " --posix-captures -Werror-undefined-control-flow -ST a.re -o a.c 2>>re2c_last_warning" ++ " || exit 42 && gcc a.c -o a && ./a" QM.assert $ ok0 `elem` [SE.ExitSuccess, SE.ExitFailure 42] + when (ok0 == SE.ExitFailure 42) $ do + QM.run $ print re_posix when (ok0 == SE.ExitSuccess) $ do ss <- QM.run $ parse_input ncaps mapM_ (\(s, ns, xs, ar) -> do