0

Hello,
I wrote a program which takes CNF-files as input. It takes from 1 sec up to 1 hour to finish its task (Checking satisfiability).
However, there is one CNF file which takes about 1 hours before it spurts out the message:

aborted <core dumped>

... and creates an *.exe.stackdump file.

I have no idea where the bug comes from, since the code works fine for other CNF-files and the contents of the stackdump is a cryptic info (I tried with addr2line to decipher it and couldn't).
Could somebody tell me how to go about debugging in this case?
Could this problem be assoicated with cygwin/Windows?

Thank you!

3
Contributors
2
Replies
3
Views
8 Years
Discussion Span
Last Post by GDICommander
0

Since the program works for many CNF files (what are they, by the way?) - can you find anything different about the problematic data? Is it significantly longer? Could you have a buffer overflow?

More info gets better responses.

This question has already been answered. Start a new discussion instead.
Have something to contribute to this discussion? Please be thoughtful, detailed and courteous, and be sure to adhere to our posting rules.