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.h | |
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>
Notes
Notes:
svn path=/head/; revision=95707
Diffstat (limited to 'devel/smv/files/patch-storage.h')
-rw-r--r-- | devel/smv/files/patch-storage.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/devel/smv/files/patch-storage.h b/devel/smv/files/patch-storage.h new file mode 100644 index 000000000000..4b72cc93ed66 --- /dev/null +++ b/devel/smv/files/patch-storage.h @@ -0,0 +1,13 @@ +--- storage.h ++++ storage.h +@@ -12,8 +12,8 @@ + #define ALLOCSIZE (2<<15) + + void init_storage(); +-char *malloc(); +-void free(); ++char* smv_malloc(); ++void smv_free(); + mgr_ptr new_mgr(); + rec_ptr new_rec(),dup_rec(); + void free_rec(); |