diff --git a/crates/sui-move/src/prove.rs b/crates/sui-move/src/prove.rs index 26b5f9392fbe3..de2b2ae9790ca 100644 --- a/crates/sui-move/src/prove.rs +++ b/crates/sui-move/src/prove.rs @@ -9,6 +9,7 @@ use sui_types::sui_framework_address_concat_string; const SUI_NATIVE_TEMPLATE: &[u8] = include_bytes!("sui-natives.bpl"); +/// Run the Move Prover on the package at `path` (Warning: Move Prover support for Sui is currently limited) #[derive(Parser)] #[group(id = "sui-move-prover")] pub struct Prover { @@ -92,6 +93,7 @@ impl Prover { ), ); + eprintln!("WARNING: the level of Move Prover support for Sui is incomplete; use at your own risk as not everything is guaranteed to work (please file an issue if an update breaks existing usage but the level of current support is limited)"); let prover_result = std::thread::spawn(move || { prove::run_move_prover( build_config,