From 2ea5de4d680ab90136ef22e19ab46398b8e58c7e Mon Sep 17 00:00:00 2001 From: Pav Lucistnik Date: Sat, 13 Dec 2003 01:22:09 +0000 Subject: 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 --- devel/smv/files/patch-string.c | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 devel/smv/files/patch-string.c (limited to 'devel/smv/files/patch-string.c') 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)); + } -- cgit v1.2.3