model: add "# redundant" stat

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index 0d27d5a305d1830b75ac3519e294816f85bc88de..15516e267cfbb9b7c8947ed8d550926e59de8a98 100644 (file)
--- a/model.h
+++ b/model.h
@@ -58,6 +58,7 @@ struct execution_stats {
        int num_infeasible; /**< @brief Number of infeasible executions */
        int num_buggy_executions; /** @brief Number of buggy executions */
        int num_complete; /**< @brief Number of feasible, non-buggy, complete executions */
+       int num_redundant; /**< @brief Number of redundant, aborted executions */
 };
 
 struct PendingFutureValue {