sbv v8.12 Release Notes

Release Date: 2021-03-09 // over 1 year ago
    • Fix a bug in crackNum for unsigned-integer values, which incorrectly showed a negation sign for values with msb set to 1.