runtimeverification / polkadot-verification

Verification of Polkadot WASM code
Other
9 stars 6 forks source link

Make a rule merging test specifically for this repository #118

Open hjorthjort opened 4 years ago

hjorthjort commented 4 years ago

Relying on the unit tests in wasm-semantics means relying on the test embedding there (with assert_return, etc.), which we don't want to.

Make a simple module:

(module
   (func $main 
      .... ;; body
   )
   (start $main)
)

and merge the rules of that execution in the make test-merge-rules target.