jepsen-io#25: knossos.competition checker is blocked by linear/start-…

…analysis
yugabyte · Jul 24, 2018 · a8fbe0d · a8fbe0d
1 parent 347ea37
commit a8fbe0d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/knossos/model/memo.clj b/src/knossos/model/memo.clj
@@ -200,5 +200,6 @@
   search."
   [model history]
   (let [history (canonical-history history)]
+    wrapped-model (future (wrapper model history))
     {:history history
-     :model   (wrapper model history)}))
+     :model   (deref wrapped-model 60000 model)}))