SVInt: Remove exactUnknowns TODO

MikePopoloski · Nov 4, 2022 · 79dc782 · 79dc782
1 parent 211a5c7
commit 79dc782
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/source/numeric/SVInt.cpp b/source/numeric/SVInt.cpp
@@ -640,8 +640,7 @@ std::ostream& operator<<(std::ostream& os, const SVInt& rhs) {
 std::string SVInt::toString(bitwidth_t abbreviateThresholdBits, bool exactUnknowns) const {
     // guess the base to use
     LiteralBase base;
-    // unless the int is wholly or digit/hexit-wise X or Z (TODO: worth checking?),
-    // unknown bits require binary base for lossless representation.
+    // unknown bits require binary base for lossless representation
     if (bitWidth < 8 || (unknownFlag && exactUnknowns) || (unknownFlag && bitWidth <= 64))
         base = LiteralBase::Binary;
     else if (bitWidth <= 32 || signFlag)