made folder creation unique in boolean influence

emsec · Sep 19, 2023 · d350ce1 · d350ce1
1 parent a79bb14
commit d350ce1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugins/boolean_influence/src/plugin_boolean_influence.cpp b/plugins/boolean_influence/src/plugin_boolean_influence.cpp
@@ -245,7 +245,7 @@ int main(int argc, char *argv[]) {
         replaced_e      = replaced_e.substitute(from_vec, to_vec);
 
         // translate expression into a c program
-        auto directory_res = utils::get_unique_temp_directory("boolean_influence/");
+        auto directory_res = utils::get_unique_temp_directory("boolean_influence_");
         if (directory_res.is_error())
         {
             return ERR_APPEND(directory_res.get_error(), "unable to generate Boolean influence: could not create temporary directory");