Fix potential name collision caused by LTL properties#4551

Merged

jackkoenig merged 8 commits intochipsalliance:mainfrom tmckay-sifive:tmckay/ltl-name-collision

Dec 7, 2024

+90-62

Commits on Dec 5, 2024

Commits on Dec 7, 2024

Run formatting
jackkoenig
committed