Fix minor bug in ADT datatype declaration field ordering - Githubissues

uclid-org / uclid

UCLID5: formal modeling, verification, and synthesis of computational systems

Other

136 stars 32 forks source link

Fix minor bug in ADT datatype declaration field ordering #247

Closed adwait closed 4 months ago

adwait commented 4 months ago

added tests to catch such bugs in the future
also added a test for ADT field reuse