From 96992ff1c9df9d05747ca4132ed9d467d4d33ee6 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 31 May 2013 23:57:27 +0000 Subject: [PATCH] Make error_message vars static in sparse/hybrid/mtbdd engines - reportedly causes crashes otherwise (fix from Gaston Ingaramo). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6817 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/hybrid/PrismHybrid.cc | 2 +- prism/src/mtbdd/PrismMTBDD.cc | 2 +- prism/src/sparse/PrismSparse.cc | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/hybrid/PrismHybrid.cc b/prism/src/hybrid/PrismHybrid.cc index fe340ff7..f2535829 100644 --- a/prism/src/hybrid/PrismHybrid.cc +++ b/prism/src/hybrid/PrismHybrid.cc @@ -58,7 +58,7 @@ static jmethodID main_log_warn = NULL; static jmethodID tech_log_mid = NULL; // error message -char error_message[MAX_ERR_STRING_LEN]; +static char error_message[MAX_ERR_STRING_LEN]; // details from numerical computation which may be queried double last_unif; diff --git a/prism/src/mtbdd/PrismMTBDD.cc b/prism/src/mtbdd/PrismMTBDD.cc index bded3276..c9de1aa3 100644 --- a/prism/src/mtbdd/PrismMTBDD.cc +++ b/prism/src/mtbdd/PrismMTBDD.cc @@ -63,7 +63,7 @@ FILE *export_file; JNIEnv *export_env; // error message -char error_message[MAX_ERR_STRING_LEN]; +static char error_message[MAX_ERR_STRING_LEN]; //------------------------------------------------------------------------------ // cudd manager diff --git a/prism/src/sparse/PrismSparse.cc b/prism/src/sparse/PrismSparse.cc index b512bbb0..3d11d2dc 100644 --- a/prism/src/sparse/PrismSparse.cc +++ b/prism/src/sparse/PrismSparse.cc @@ -64,7 +64,7 @@ FILE *export_file; JNIEnv *export_env; // error message -char error_message[MAX_ERR_STRING_LEN]; +static char error_message[MAX_ERR_STRING_LEN]; //------------------------------------------------------------------------------ // cudd manager