summaryrefslogtreecommitdiff
path: root/devel/smv/files/patch-storage.h
diff options
context:
space:
mode:
authorPav Lucistnik <pav@FreeBSD.org>2003-12-13 01:22:09 +0000
committerPav Lucistnik <pav@FreeBSD.org>2003-12-13 01:22:09 +0000
commit2ea5de4d680ab90136ef22e19ab46398b8e58c7e (patch)
tree79879843bdcdb7af48ade64f1cbbe46bead02b5d /devel/smv/files/patch-storage.h
parentAdd 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.h13
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();