Internals: Add --debug-exit-uvm

This commit is contained in:
Wilson Snyder
2020-08-23 09:05:18 -04:00
parent 132cc1d068
commit d2fac4aa2f
6 changed files with 11 additions and 3 deletions
+2
View File
@@ -1015,6 +1015,8 @@ void V3Options::parseOptsList(FileLine* fl, const string& optdir, int argc, char
m_debugCollision = flag;
} else if (onoff(sw, "-debug-exit-parse", flag /*ref*/)) { // Undocumented
m_debugExitParse = flag;
} else if (onoff(sw, "-debug-exit-uvm", flag /*ref*/)) { // Undocumented
m_debugExitUvm = flag;
} else if (onoff(sw, "-debug-leak", flag /*ref*/)) {
m_debugLeak = flag;
} else if (onoff(sw, "-debug-nondeterminism", flag /*ref*/)) {