bug fix
authorroot <root@plrg-1.ics.uci.edu>
Tue, 7 Jan 2020 00:11:52 +0000 (16:11 -0800)
committerroot <root@plrg-1.ics.uci.edu>
Tue, 7 Jan 2020 00:11:52 +0000 (16:11 -0800)
config.h
execution.cc
fuzzer.h
newfuzzer.cc
newfuzzer.h

index f86275a..74c0c35 100644 (file)
--- a/config.h
+++ b/config.h
@@ -54,7 +54,7 @@
 #define FORK_HANDLER_HACK
 
 /** Enable smart fuzzer */
-//#define NEWFUZZER
+#define NEWFUZZER
 
 /** Define semantics of volatile memory operations. */
 #define memory_order_volatile_load memory_order_acquire
index 8853bfe..f5ab21e 100644 (file)
@@ -73,7 +73,7 @@ ModelExecution::ModelExecution(ModelChecker *m, Scheduler *scheduler) :
        /* Initialize a model-checker thread, for special ModelActions */
        model_thread = new Thread(get_next_id());
        add_thread(model_thread);
-       fuzzer->register_engine(this);
+       fuzzer->register_engine(m, this);
        scheduler->register_engine(this);
 #ifdef TLS
        pthread_key_create(&pthreadkey, tlsdestructor);
index b0f533d..14dff6e 100644 (file)
--- a/fuzzer.h
+++ b/fuzzer.h
@@ -16,7 +16,7 @@ public:
        bool shouldSleep(const ModelAction *sleep);
        bool shouldWake(const ModelAction *sleep);
        virtual bool shouldWait(const ModelAction *wait);
-       virtual void register_engine(ModelExecution * execution) {}
+       virtual void register_engine(ModelChecker * _model, ModelExecution * execution) {}
        SNAPSHOTALLOC
 private:
 };
index 8ec3011..027b7d4 100644 (file)
@@ -26,9 +26,9 @@ NewFuzzer::NewFuzzer() :
 /**
  * @brief Register the ModelHistory and ModelExecution engine
  */
-void NewFuzzer::register_engine(ModelExecution *execution)
+void NewFuzzer::register_engine(ModelChecker *_model, ModelExecution *execution)
 {
-       this->history = model->get_history();
+       this->history = _model->get_history();
        this->execution = execution;
 }
 
index bf01faf..02c3fc0 100644 (file)
@@ -34,7 +34,7 @@ public:
        bool shouldWake(const ModelAction * sleep);
        bool shouldWait(const ModelAction * wait);
 
-       void register_engine(ModelExecution * execution);
+       void register_engine(ModelChecker * model, ModelExecution * execution);
        Predicate * get_selected_child_branch(thread_id_t tid);
 
        SNAPSHOTALLOC