Improved error reporting in fuzz-testing script.

diff --git a/re2c/fuzz/regex_tdfa/check.hs b/re2c/fuzz/regex_tdfa/check.hs
index cde049e6fdb3e9cd6301e90befda02f6bcaa422b..ce3a06cd685fdfe364c6ab5897eb96881273a7d0 100644 (file)
--- 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