From 6eb4387643563494b83c5e4adfea81effc4cd891 Mon Sep 17 00:00:00 2001 From: Robbert van Renesse Date: Wed, 20 Mar 2024 06:24:48 -0400 Subject: [PATCH] Fixed some small issues --- harmony_model_checker/charm/charm.c | 4 ++-- runall.py | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/harmony_model_checker/charm/charm.c b/harmony_model_checker/charm/charm.c index 990434e3..72f8e556 100644 --- 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 index ab2e9566..3c099b38 100644 --- 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 },