X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.h;h=b81858c87f6a815c2ea4d58c5fc46f2562d72534;hp=cabd9904eb2d5bf64dc667c6ab78c33a2e4897f2;hb=43124ec9b82ef50d2adb5cdbf0639f5330995a8b;hpb=64383895f2f6937f62ebb8dd52e2db0932ca5278;ds=inline diff --git a/model.h b/model.h index cabd9904..b81858c8 100644 --- a/model.h +++ b/model.h @@ -58,7 +58,10 @@ public: void continueExecution(Thread *old); void finishExecution(Thread *old); void consumeAction(); + void chooseThread(ModelAction *act, Thread *old); Thread * getNextThread(); + void handleChosenThread(Thread *old); + void handleNewValidThread(Thread *old, Thread *next); void assert_bug(const char *msg, ...);