action / threads: add THREAD_START action at start of each thread

[model-checker.git] / action.cc

diff --git a/action.cc b/action.cc
index 44d3f8f1d9b3e701e5d38f7100611b00b6870cf8..d9aae2d4958253977e9f0256fb87076174e94a67 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -153,6 +153,9 @@ void ModelAction::print(void) const
        case THREAD_CREATE:
                type_str = "thread create";
                break;
+       case THREAD_START:
+               type_str = "thread start";
+               break;
        case THREAD_YIELD:
                type_str = "thread yield";
                break;