 |  |  |  |  |  |  |  |
C++ Debugging
Please support our C++ advertiser: Intel Parallel Studio Home
 |
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!
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!
•
•
Join Date: Aug 2007
Posts: 1,679
Reputation: 
Solved Threads: 193
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.
More info gets better responses.
Everyone's gotta believe in something. I believe I'll have another drink.
~~~~~~~~~~~~~~~~~~
Looking for an exciting graduate degree? Robotics and Intelligent Autonomous Systems (RIAS) at SDSM&T See the program brochure here.
~~~~~~~~~~~~~~~~~~
Looking for an exciting graduate degree? Robotics and Intelligent Autonomous Systems (RIAS) at SDSM&T See the program brochure here.
•
•
Join Date: Jun 2008
Posts: 147
Reputation:
Solved Threads: 19
Junior Poster
You can use gdb to debug your program. The following link can help:
http://www.cygwin.com/cygwin-ug-net/gdb.html
http://www.cygwin.com/cygwin-ug-net/gdb.html
|
Similar Threads
- debugging a program (Geeks' Lounge)
- c++ debugging error (C++)
- Tutorials on Debugging (C++)
- Please explain debugging (Java)
Other Threads in the C++ Forum
- Previous Thread: how to convert Binary numbers to decimal numbers and decimal numbers to binary
- Next Thread: string array
| Thread Tools | Search this Thread |
You need to join our community in order to build your list of favorite forums. You can visit the forum index for a listing of all forums.
Latest C++ Posts
- Today's Posts
- Unanswered Threads
Related Forum Features
api application array arrays based beginner binary bitmap c++ c/c++ calculator char char* class classes code coding compile compiler console conversion convert count data database delete deploy developer dll dynamiccharacterarray email encryption error file format forms fstream function functions game generator getline graph homeworkhelper iamthwee ifstream image input int java lib list loop looping loops map math matrix memory multidimensional multiple newbie news node number numbertoword output parameter pointer problem program programming project proxy python random read recursion recursive reference rpg simple sorting string strings template text tree url variable vector video visual visualstudio win32 windows winsock word wordfrequency wxwidgets
