search

runtimeverification / mx-semantics

6 stars 1 forks source link

Update test contracts to SDK 48.0 #252

Closed virgil-serbanuta closed 2 months ago