[move-prover] Refactored options creation for better reuse #250_173

diem / move

Home of the Move programming language

Apache License 2.0

346 stars 131 forks source link

[move-prover] Refactored options creation for better reuse #250_173 #480

Open satyamacn opened 1 year ago

satyamacn commented 1 year ago

Motivation

This PR enhances https://github.com/diem/move/pull/439 by making it easier to specify prover options for applications outside of core Move. Without this refactoring, the options have to be passed as strings or the entire run_move_prover function needs to be copied to customize them. The refactoring enables "outside" prover users to reuse run_move_prover by replicating/augmenting code in a much shorter execute function only.

sahithiacn commented 1 year ago

/canary

bors-diem commented 1 year ago

:sunny: Canary successful