From 2ea5de4d680ab90136ef22e19ab46398b8e58c7e Mon Sep 17 00:00:00 2001 From: Pav Lucistnik Date: Sat, 13 Dec 2003 01:22:09 +0000 Subject: Add The SMV (Symbolic Model Verifier), a tool for checking finite state systems against specifications the temporal logic CTL (Computational Tree Logic). PR: ports/59429 Submitted by: Marc van Woerkom --- devel/smv/files/patch-hash.c | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 devel/smv/files/patch-hash.c (limited to 'devel/smv/files/patch-hash.c') diff --git a/devel/smv/files/patch-hash.c b/devel/smv/files/patch-hash.c new file mode 100644 index 000000000000..006e32a1c5b1 --- /dev/null +++ b/devel/smv/files/patch-hash.c @@ -0,0 +1,17 @@ +--- hash.c ++++ hash.c +@@ -7,12 +7,12 @@ + int (*hash_fun)(),(*eq_fun)(); + mgr_ptr mgr; + { +- hash_ptr res = (hash_ptr)malloc(sizeof(struct hash)); ++ hash_ptr res = (hash_ptr)smv_malloc(sizeof(struct hash)); + res->size = init_size; + res->hash_fun = hash_fun; + res->eq_fun = eq_fun; + res->mgr = mgr; +- res->tab = (rec_ptr *)malloc(init_size * sizeof(rec_ptr)); ++ res->tab = (rec_ptr *)smv_malloc(init_size * sizeof(rec_ptr)); + bzero(res->tab,init_size * sizeof(rec_ptr)); + return(res); + } -- cgit v1.2.3