Fixes and adds test for name_table bug

leonardt / hwtypes

Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics

BSD 3-Clause "New" or "Revised" License

18 stars 4 forks source link

Closed rdaly525 closed 1 year ago

cdonovick commented 1 year ago

Approved pending passing CI modulo outstanding floating point issues

rdaly525 commented 1 year ago

@leonardt @cdonovick, should I merge?

leonardt commented 1 year ago

Ok with me since it reduces the number of failing tests.