object

mutation_testing

Mutation testing tool.

Availability:
logtalk_load(mutation_testing(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2026-04-03
Compilation flags:
static, context_switching_calls
Imports:
public options
Provides:
logtalk::message_hook/4
Uses:
fast_random(Algorithm)
json(ObjectRepresentation,PairRepresentation,StringRepresentation)
list
logtalk
os
term_io
type
user
Remarks:
(none)
Inherited public predicates:
 check_option/1  check_options/1  default_option/1  default_options/1  option/2  option/3  valid_option/1  valid_options/1

Public predicates

library/1

Runs mutation testing for all loaded entities from a given library using default options.

Compilation flags:
static
Template:
library(Library)
Mode and number of proofs:
library(+atom) - zero_or_one

library/2

Runs mutation testing for all loaded entities from a given library using the given options.

Compilation flags:
static
Template:
library(Library,Options)
Mode and number of proofs:
library(+atom,+list(compound)) - zero_or_one

directory/1

Runs mutation testing for all loaded entities from a given directory using default options.

Compilation flags:
static
Template:
directory(Directory)
Mode and number of proofs:
directory(+atom) - zero_or_one

directory/2

Runs mutation testing for all loaded entities from a given directory using the given options.

Compilation flags:
static
Template:
directory(Directory,Options)
Mode and number of proofs:
directory(+atom,+list(compound)) - zero_or_one

entity/1

Runs mutation testing for a loaded entity using default options.

Compilation flags:
static
Template:
entity(Entity)
Mode and number of proofs:
entity(+entity_identifier) - zero_or_one

entity/2

Runs mutation testing for a loaded entity using the given options.

Compilation flags:
static
Template:
entity(Entity,Options)
Mode and number of proofs:
entity(+entity_identifier,+list(compound)) - zero_or_one

predicate/2

Runs mutation testing for a loaded entity predicate using default options.

Compilation flags:
static
Template:
predicate(Entity,Predicate)
Mode and number of proofs:
predicate(+entity_identifier,+predicate_indicator) - zero_or_one

predicate/3

Runs mutation testing for a loaded entity predicate using the given options.

Compilation flags:
static
Template:
predicate(Entity,Predicate,Options)
Mode and number of proofs:
predicate(+entity_identifier,+predicate_indicator,+list(compound)) - zero_or_one

report_entity/3

Runs mutation testing for an entity and returns a structured report term.

Compilation flags:
static
Template:
report_entity(Entity,Report,Options)
Mode and number of proofs:
report_entity(+entity_identifier,-compound,+list(compound)) - zero_or_one

report_predicate/4

Runs mutation testing for an entity predicate and returns a structured report term.

Compilation flags:
static
Template:
report_predicate(Entity,Predicate,Report,Options)
Mode and number of proofs:
report_predicate(+entity_identifier,+predicate_indicator,-compound,+list(compound)) - zero_or_one

report_library/3

Runs mutation testing for loaded entities from a library and returns structured report terms.

Compilation flags:
static
Template:
report_library(Library,Report,Options)
Mode and number of proofs:
report_library(+atom,-compound,+list(compound)) - zero_or_one

report_directory/3

Runs mutation testing for loaded entities from a directory and returns structured report terms.

Compilation flags:
static
Template:
report_directory(Directory,Report,Options)
Mode and number of proofs:
report_directory(+atom,-compound,+list(compound)) - zero_or_one

format_report/3

Formats a mutation testing report term to the given stream using the given format.

Compilation flags:
static
Template:
format_report(Stream,Format,Report)
Mode and number of proofs:
format_report(+stream_or_alias,+atom,+compound) - one

format_report/2

Formats a mutation testing report term to the current output stream using the given format.

Compilation flags:
static
Template:
format_report(Format,Report)
Mode and number of proofs:
format_report(+atom,+compound) - one

format_report/1

Formats a mutation testing report term to the current output stream using the text format.

Compilation flags:
static
Template:
format_report(Report)
Mode and number of proofs:
format_report(+compound) - one

entity_mutants/2

Returns the deterministic list of mutants for an entity using default options.

Compilation flags:
static
Template:
entity_mutants(Entity,Mutants)
Mode and number of proofs:
entity_mutants(+entity_identifier,-list(compound)) - zero_or_one

entity_mutants/3

Returns the deterministic list of mutants for an entity using the given options.

Compilation flags:
static
Template:
entity_mutants(Entity,Mutants,Options)
Mode and number of proofs:
entity_mutants(+entity_identifier,-list(compound),+list(compound)) - zero_or_one

predicate_mutants/3

Returns the deterministic list of mutants for an entity predicate using default options.

Compilation flags:
static
Template:
predicate_mutants(Entity,Predicate,Mutants)
Mode and number of proofs:
predicate_mutants(+entity_identifier,+predicate_indicator,-list(compound)) - zero_or_one

predicate_mutants/4

Returns the deterministic list of mutants for an entity predicate using the given options.

Compilation flags:
static
Template:
predicate_mutants(Entity,Predicate,Mutants,Options)
Mode and number of proofs:
predicate_mutants(+entity_identifier,+predicate_indicator,-list(compound),+list(compound)) - zero_or_one

library_mutants/2

Returns the deterministic list of mutants for loaded entities from a given library using default options.

Compilation flags:
static
Template:
library_mutants(Library,Mutants)
Mode and number of proofs:
library_mutants(+atom,-list(compound)) - zero_or_one

library_mutants/3

Returns the deterministic list of mutants for loaded entities from a given library using the given options.

Compilation flags:
static
Template:
library_mutants(Library,Mutants,Options)
Mode and number of proofs:
library_mutants(+atom,-list(compound),+list(compound)) - zero_or_one

directory_mutants/2

Returns the deterministic list of mutants for loaded entities from a given directory using default options.

Compilation flags:
static
Template:
directory_mutants(Directory,Mutants)
Mode and number of proofs:
directory_mutants(+atom,-list(compound)) - zero_or_one

directory_mutants/3

Returns the deterministic list of mutants for loaded entities from a given directory using the given options.

Compilation flags:
static
Template:
directory_mutants(Directory,Mutants,Options)
Mode and number of proofs:
directory_mutants(+atom,-list(compound),+list(compound)) - zero_or_one

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

probe_mutation_happened_/0

True iff a mutation happened.

Compilation flags:
dynamic
Mode and number of proofs:
probe_mutation_happened_ - zero_or_one

probing_/0

True iff we are currently probing for mutations (suppresses printing).

Compilation flags:
dynamic
Mode and number of proofs:
probing_ - zero_or_one

capturing_mutated_terms_/0

True iff we are capturing original and mutated terms while formatting reports.

Compilation flags:
dynamic
Mode and number of proofs:
capturing_mutated_terms_ - zero_or_one

captured_mutated_terms_/5

Captured original and mutated terms, variable names, and source location for one mutant.

Compilation flags:
dynamic
Template:
captured_mutated_terms_(Original,Mutation,Variables,File,Lines)
Mode and number of proofs:
captured_mutated_terms_(-callable,-callable,-list,-atom,-compound) - zero_or_one

baseline_coverage_/4

Coverage baseline cache for an entity and predicate: covered clauses and total clauses.

Compilation flags:
dynamic
Template:
baseline_coverage_(Entity,Predicate,CoveredClauses,TotalClauses)
Mode and number of proofs:
baseline_coverage_(?entity_identifier,?predicate_indicator,?list(integer),?integer) - zero_or_more

Operators

(none)