A make target like test-prove-custom that requires a variable for a parameter.
For instance, an oracle-spec.k and verification.md that lives under tests/specs/oracle could be built with PROOF_NAME=oracle make test-prove-custom and the makefile will use the PROOF_NAME variable to declare the target.
A make target like
test-prove-customthat requires a variable for a parameter.For instance, an
oracle-spec.kandverification.mdthat lives undertests/specs/oraclecould be built withPROOF_NAME=oracle make test-prove-customand the makefile will use thePROOF_NAMEvariable to declare the target.