Apply rule merging to search through executions

runtimeverification / polkadot-verification

Verification of Polkadot WASM code

Other

10 stars 6 forks source link

Apply rule merging to search through executions #91

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

This uses the "easiest" rule merging strategy on the search results, and many refactors that are needed to make that possible.

ehildenb commented 4 years ago

git submodule update --init --recursive ; make deps K_BUILD_TYPE=Release ; make build -j8 ; make build -j8 SUBDEFN=coverage KOMPILE_OPTIONS=--coverage ; make test-search