Merge branch 'norris'

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index eb646294716a89d7d4d4fd5a0edc0d82e1c6b029..64c1daa5d8f2b52aa561b50cbd2a07a65853ec84 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -243,6 +243,13 @@ ModelAction * ModelChecker::get_last_conflict(ModelAction *act)
        return NULL;
 }
 
        return NULL;
 }
 

+/** This method find backtracking points where we should try to
+ * reorder the parameter ModelAction against.
+ *
+ * @param the ModelAction to find backtracking points for.
+ */
+
+

 void ModelChecker::set_backtracking(ModelAction *act)
 {
        Thread *t = get_thread(act);
 void ModelChecker::set_backtracking(ModelAction *act)
 {
        Thread *t = get_thread(act);


@@ -1534,6 +1541,11 @@ void ModelChecker::add_thread(Thread *t)
        scheduler->add_thread(t);
 }
 
        scheduler->add_thread(t);
 }
 

+/**
+ * Removes a thread from the scheduler. 
+ * @param the thread to remove.
+ */
+

 void ModelChecker::remove_thread(Thread *t)
 {
        scheduler->remove_thread(t);
 void ModelChecker::remove_thread(Thread *t)
 {
        scheduler->remove_thread(t);