runtimeverification / polkadot-verification

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

Reset sources after running update job on CI #117

Closed hjorthjort closed 4 years ago

hjorthjort commented 4 years ago

The update job is only to test that it works to build the sources. Currently, CI calls make polkadot-runtime-sources but not make polkadot-runtime-loaded. It doesn't call the latter because it's very expensive. Every run of these make jobs update the name of the functions in the source code. Since search.py grabs the name of the set_free_balance function from the .wat file but calls the code in the .json file, there is a mismatch, and the call fails.