towards freeing actions

[c11tester.git] / main.cc

diff --git a/main.cc b/main.cc
index 8fa1e9dd99a52076043b821653836f916bbb489d..17bc71c86a87783614ffe5200e68d54ff0fc12c1 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -21,6 +21,7 @@ void param_defaults(struct model_params *params)
 {
        params->verbose = !!DBG_ENABLED();
        params->maxexecutions = 10;
+       params->tracebound = 0;
        params->nofork = false;
 }