Crate move_prover_test_utils

Modules

• baseline_test
  A module supporting baseline (golden) tests.

Constants

• DEFAULT_SENDER

Functions

• extract_test_directives