get-gas looks in the right place for state dumps

dapphub · Jan 24, 2019 · b24eab9 · b24eab9
1 parent 01d80a0
commit b24eab9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/compile.js b/lib/compile.js
@@ -51,7 +51,7 @@ const prune_edges = (proofid, prune = true) => {
     .filter(l => l.split(" ")[1] == "rule")
     .map(l => l.split(" ")[3])
     .reduce((a, ruleid) => {
-      if(!a[ruleid]) a[ruleid] = JSON.parse(read(path.join(KLAB_WD_PATH, "blobs", ruleid + ".json")));
+      if(!a[ruleid]) a[ruleid] = JSON.parse(read(path.join(KLAB_WD_PATH, `${proofid}_blobs`, ruleid + ".json")));
       return a;
     }, {})
 

diff --git a/libexec/klab-get-gas b/libexec/klab-get-gas
@@ -60,7 +60,7 @@ const blobs = Object.keys(Object.keys(pruned_edges)
 ensureDir(path.join(KLAB_OUT, "log"));
 const pruned_path = path.join(KLAB_OUT, "log", `boot_${proofid}.json`);
 const blobs_data = blobs
-  .map(blobid => [blobid, JSON.parse(read(path.join(KLAB_WD_PATH, "blobs", blobid + ".json")))])
+  .map(blobid => [blobid, JSON.parse(read(path.join(KLAB_WD_PATH, `${proofid}_blobs`, blobid + ".json")))])
 
 const compiled_states = blobs_data
   .filter(([_, k]) => k.term.label == "<generatedTop>")