luke/verilator
1
0
Fork 0
mirror of https://github.com/verilator/verilator.git synced 2026-10-06 01:54:01 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add --debug-check flag

Browse Source 
git-svn-id: file://localhost/svn/verilator/trunk/verilator@802 77ca24e4-aefa-0310-84f0-b9a241c72d87
This commit is contained in:
Wilson Snyder
2006-10-02 17:09:56 +00:00
parent 7738b202ac
commit 79e02858cb
6 changed files with 16 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/V3Options.cpp
+3
View File
@@ -366,6 +366,7 @@ void V3Options::parseOptsList(FileLine* fl, int argc, char** argv) {
else if ( onoff (sw, "-coverage-line", flag/*ref*/) ){ m_coverageLine = flag; }
else if ( onoff (sw, "-coverage-user", flag/*ref*/) ){ m_coverageUser = flag; }
else if ( onoff (sw, "-covsp", flag/*ref*/) ) { } // TBD
else if ( onoff (sw, "-debug-check", flag/*ref*/) ){ m_debugCheck = flag; }
else if ( onoff (sw, "-dump-tree", flag/*ref*/) ) { m_dumpTree = flag; }
else if ( onoff (sw, "-exe", flag/*ref*/) ) { m_exe = flag; }
else if ( onoff (sw, "-ignc", flag/*ref*/) ) { m_ignc = flag; }
@@ -557,6 +558,7 @@ V3Options::V3Options() {
m_coverageLine = false;
m_coverageUser = false;
m_debugCheck = false;
m_dumpTree = false;
m_exe = false;
m_ignc = false;
@@ -603,6 +605,7 @@ void V3Options::setDebugMode(int level) {
V3Error::debugDefault(level);
m_dumpTree = true;
m_stats = true;
m_debugCheck = true;
cout << "Starting "<<version()<<endl;
}