search

runtimeverification / polkadot-verification

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

Search working for a single call, PRE functions stubbed out. #88

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

Currently this is able to run the search.py script correctly on a single call, and execute all the way until a trap is reached.

It stubs out the PRE functions so that when one is called, we get a <trace> of the output, which is good for seeing the sequence of calls made.

ehildenb commented 4 years ago

The Polkadot Runtime Environment has been renamed to Polkadot Host, let's make sure that's reflected here.

ehildenb commented 4 years ago

@drskalman I've adjusted it to call it the "Polkadot Host" instead of the "Polkadot Runtime Environment", and make sure the search script continues to work.

Please review.