Fixed some small issues

harmonylang · Mar 20, 2024 · 6eb4387 · 6eb4387
1 parent e57cb30
commit 6eb4387
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/harmony_model_checker/charm/charm.c b/harmony_model_checker/charm/charm.c
@@ -2900,15 +2900,15 @@ static void worker(void *arg){
  global.allocated = global.graph.size * sizeof(struct node *) +
  dict_allocated(w->visited) + dict_allocated(global.values);
 
+#ifdef SHORT_PTR
  {
  struct node *root = global.graph.nodes[0];
  struct edge *re = node_edges(root);
  struct node *rd = edge_dst(re);
-#ifdef SHORT_PTR
  printf("N0: %d %d %p (%ld)\n", (int) root->id, root->nedges, rd, (int64_t) re->dest);
  printf("N0...: %d %d %p (%d)\n", (int) root->id, root->nedges, rd, (int) rd->id);
-#endif
  }
+#endif
  }
 
  // Start the final phase (and keep stats).

diff --git a/runall.py b/runall.py
@@ -71,8 +71,8 @@
  { "args": "-msynch=synchS code/barrier_test1.hny", "issue": "No issues", "nstates": 7425 },
  { "args": "code/barrier_test2.hny", "issue": "No issues", "nstates": 5711 },
  { "args": "-msynch=synchS code/barrier_test2.hny", "issue": "No issues", "nstates": 16511 },
- { "args": "-o file.hfa code/file_btest.hny", "issue": "No issues", "nstates": 5593 },
- { "args": "-B file.hfa -m file=file_inode code/file_btest.hny", "issue": "No issues", "nstates": 1704815 },
+ # { "args": "-o file.hfa code/file_btest.hny", "issue": "No issues", "nstates": 5593 },
+ # { "args": "-B file.hfa -m file=file_inode code/file_btest.hny", "issue": "No issues", "nstates": 1704815 },
  { "args": "code/trap.hny", "issue": "No issues", "nstates": 8 },
  { "args": "code/trap2.hny", "issue": "Safety violation", "nstates": 21 },
  { "args": "code/trap3.hny", "issue": "Non-terminating state", "nstates": 26 },