search

freespek / ssf-mc

EF project Exploring Automatic Model-Checking of the Ethereum specification
Apache License 2.0
4 stars 0 forks source link

Repeat block protection optimization #47

Closed Kukovec closed 2 months ago

Kukovec commented 2 months ago

Small optimization discovered in today's standup