replay bugfix

kframework · Jun 10, 2018 · 598c19d · 598c19d
1 parent 565009f
commit 598c19d
Show file tree

Hide file tree

Showing 4 changed files with 4,227 additions and 85 deletions.
diff --git a/lib/local_tmp.js b/lib/local_tmp.js
@@ -137,6 +137,8 @@ const run = ({spec, lemmas, bin_runtime, replay, inspect}, ch) => {
     fs.writeFileSync(path.join(wd_path, `proof-spec.k`), k_spec_file_buffer);
     let msgs = [];
     console.log("running k");
+    let steplog_path = path.join(wd_path, `steps.log`);
+    if(testPath(steplog_path)) fs.unlinkSync(steplog_path)
     let k_path = path.join(KLAB_K_PATH, "k-distribution/target/release/k/bin/kprove");
     let options = [
       // "--debug",

diff --git a/lib/remoteDriver.js b/lib/remoteDriver.js
@@ -4,6 +4,8 @@ var WebSocketClient = require('websocket').client;
 var connection;
 var puffer = [];
 
+// TODO - node or browser flag
+// define a different constructor for browser
 module.exports = host => {
 
   var client = new WebSocketClient();