Skip to content

Testing framework: add support for mutation in `Test.originate_from_file` functions

E. Rivas requested to merge er433/test/compile_contract_from_file+mutation into dev

type:added

For LIGO developers

Currently, mutation testing works on reflected values (Test.originate style, env. reconstruction and all that).

This MR adds functions to support mutation of contracts loaded with functions in the style of Test.originate_from_file (which read a .ligo file).

Changelog details:

New functions for testing framework

There are new functions for doing mutation testing directly from files, that originate a mutated version of the contract and then gives control to the passed function that can do the test:

  • Test.originate_from_file_and_mutate : string -> string -> string list -> michelson_program -> tez -> (address * michelson_contract * int -> b) -> (b * mutation) option
  • Test.originate_from_file_and_mutate_all : string -> string -> string list -> michelson_program -> tez -> (address * michelson_contract * int -> b) -> (b * mutation) list
Edited by E. Rivas

Merge request reports