search

NethermindEth / horus-checker

Horus, a formal verification tool for StarkNet smart contracts.
https://nethermind.io/horus/
Other
71 stars 7 forks source link

Flatten return tuples of storage variables #191

Open langfield opened 1 year ago

langfield commented 1 year ago

Corresponds to https://github.com/NethermindEth/horus-compile/pull/61.

langfield commented 1 year ago

There may be an infinite loop or something here. CI tests never finish and it can't be the SMT queries because they have a timeout.