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?