miden-vm prove checks for inferred input files before validating the program file extension.
For example, running:
miden-vm prove invalid.txt
reports a missing invalid.inputs file instead of rejecting the unsupported .txt program extension.
run already rejects unsupported program extensions before looking for inputs, so prove should do the same.
miden-vm provechecks for inferred input files before validating the program file extension.For example, running:
miden-vm prove invalid.txtreports a missing
invalid.inputsfile instead of rejecting the unsupported.txtprogram extension.runalready rejects unsupported program extensions before looking for inputs, soproveshould do the same.