search

runtimeverification / kontrol-demo

Foundry blog posts' executable demos
12 stars 3 forks source link

Clean up exclusiveToken #2

Closed JuanCoRo closed 2 years ago

JuanCoRo commented 2 years ago

Tidies up exclusiveToken src file and test