0

I am studying the CUDD package but crashed into the EXC_BAD_ACCESS bug in the function Cudd_DumpDot (the first line below). What happened?

retval = fprintf(fp,"digraph \"DD\" {\n");
if (retval == EOF) return(0);
retval = fprintf(fp,"size = \"7.5,10\"\ncenter = true;\nedge [dir = none];\n");
if (retval == EOF) return(0);
Martinhhh
  • 1
  • This is called a "segfault" in Linux/Unix terminology. Most likely you are passing an illegal pointer to a FILE object to the function as the last parameter. What are you passing as parameter "fp" to the Cudd_DumpDot function, and how did you obtain it? – DCTLib Apr 16 '19 at 21:46
  • Thanks, I have found that fp is null. And this problem has been solved. – Martinhhh Apr 23 '19 at 00:26

0 Answers0