runtimeverification / mx-semantics

6 stars 1 forks source link

Remove `generate-claims.sh` and related tests #275

Closed tothtamas28 closed 1 month ago

tothtamas28 commented 1 month ago

Blocked on:

Remove: generate-claims.sh

Remove submodules:

Remove test contracts: