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-storage.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-storage.c')
| -rw-r--r-- | devel/smv/files/patch-storage.c | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/devel/smv/files/patch-storage.c b/devel/smv/files/patch-storage.c new file mode 100644 index 000000000000..718193d71749 --- /dev/null +++ b/devel/smv/files/patch-storage.c @@ -0,0 +1,39 @@ +--- storage.c ++++ storage.c +@@ -9,7 +9,7 @@ + { + #ifdef MACH + mach_init(); /* needed to make sbrk() work */ +-#endif MACH ++#endif + /* addrfree points to the first free byte + addrlimit points to the memory limit */ + addrfree = addrlimit = (char *) sbrk(0); +@@ -34,7 +34,7 @@ + } + + /* provide malloc for miscellaneuos storage allocation */ +-char *malloc(n) ++char* smv_malloc(n) + int n; + { + if(n % 4)n=n+4-(n%4); /* always allocate multiple of four bytes */ +@@ -47,7 +47,7 @@ + } + + /* very simple implementation of free */ +-void free(p) ++void smv_free(p) + char *p; + { + return; +@@ -61,7 +61,7 @@ + mgr_ptr new_mgr(rec_size) + int rec_size; + { +- register mgr_ptr mp = (mgr_ptr)malloc(sizeof(struct mgr)); ++ register mgr_ptr mp = (mgr_ptr)smv_malloc(sizeof(struct mgr)); + mp->free.link = 0; + mp->rec_size = rec_size; + mp->count = 0; +diff -ru ./storage.h /usr3/marc/research/hagen/10-ws0304/77075 Model Checking/praktikum/smv/smv/storage.h |