Skip to content

Add primitive for re-generating files from mutations

E. Rivas requested to merge er433/mutation/gen-file into dev

This MR adds a new primitive for generating a mutant file out of a mutation: Test.save_mutation : mutation -> unit.

Given a mutation m modifying an expression in a file test.mligo, Test.save_mutation m will create a file test.ID.mligo with the mutation applied. The ID is an identifier generated from the mutation (hash of loc + replacing expression => base58 => first 8 chars).

This MR also adds names for constants such as Operator.times for *, Operator.add for +, etc.

  • has a changelog entry
Edited by E. Rivas

Merge request reports