MutaLog - a Tool for Mutating Logic Formulas
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.

Mutalog - A Tool for Mutating Logic Formulas

MutaLog is a testing tool which allows performing mutation analysis of logic formulas.

MutaLog allows:

  • Loading a logic formula from a file. MutaLog supports the DIMACS (Conjunctive Normal Form) format,
  • Visualizing the clauses of the formula
  • Create mutants of the formula,
  • Load a test suite and evaluate the mutation score towards the formula mutants.

For more information, check the documentation embedded in the tool or the online version.

Screenshot of Mutalog