Add parameter values in XML. #2110.

This commit is contained in:
Wilson Snyder
2020-01-14 18:51:20 -05:00
parent 47803c3591
commit 81e8127168
5 changed files with 60 additions and 48 deletions
+1 -1
View File
@@ -299,7 +299,7 @@ private:
return (!nodep->isSigPublic() // Can't elim publics!
&& !nodep->isIO()
&& ((nodep->isTemp() && !nodep->isTrace())
|| (nodep->isParam() && !nodep->isTrace())
|| (nodep->isParam() && !nodep->isTrace() && !v3Global.opt.xmlOnly())
|| m_elimUserVars)); // Post-Trace can kill most anything
}