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-string.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>
Notes
Notes:
svn path=/head/; revision=95707
Diffstat (limited to 'devel/smv/files/patch-string.c')
| -rw-r--r-- | devel/smv/files/patch-string.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/devel/smv/files/patch-string.c b/devel/smv/files/patch-string.c new file mode 100644 index 000000000000..3c5e8e9b54dd --- /dev/null +++ b/devel/smv/files/patch-string.c @@ -0,0 +1,10 @@ +--- string.c ++++ string.c +@@ -35,7 +35,7 @@ + string_rec a,*res; + a.text = x; + if(res = (string_ptr)find_hash(string_hash,&a))return(res); +- a.text = (char *)strcpy((char *)malloc(strlen(x)+1),x); ++ a.text = (char *)strcpy((char *)smv_malloc(strlen(x)+1),x); + return((string_ptr)insert_hash(string_hash,&a)); + } |