Module move_prover_test_utils::baseline_test

A module supporting baseline (golden) tests.

Functions

• verify_or_update_baseline
  Verifies or updates baseline file for the given generated text.