diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2003-12-13 01:22:09 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2003-12-13 01:22:09 +0000 |
| commit | 2ea5de4d680ab90136ef22e19ab46398b8e58c7e (patch) | |
| tree | 79879843bdcdb7af48ade64f1cbbe46bead02b5d /devel/smv/files/patch-hash.c | |
| parent | Add new port of glean, a suite of OpenGL conformance tests. Very useful for (diff) | |
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 <marc.vanwoerkom@fernuni-hagen.de>
Diffstat (limited to 'devel/smv/files/patch-hash.c')
| -rw-r--r-- | devel/smv/files/patch-hash.c | 17 |
1 files changed, 17 insertions, 0 deletions
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); + } |