dextool.plugin.mutate.backend.test_mutant.schemata

Members

Aliases

GenSchemaActor
alias GenSchemaActor = typedActor!(void function(Init, AbsolutePath database, ConfigSchema conf), GenSchemaResult function(GenSchema), void function(MutationStatusId[] whiteList))
Undocumented in source.
SchemaActor
alias SchemaActor = typedActor!(void function(Init, AbsolutePath database, ShellCommand, Duration), void function(GenSchema), void function(RunSchema, SchemataBuilder.ET, InjectIdResult), bool function(IsDone), void function(UpdateWorkList, bool), FinalResult function(GetDoneStatus), void function(SchemaTestResult), void function(MarkMsg, FinalResult.Status), void function(InjectAndCompile), void function(RestoreMsg), void function(StartTestMsg), void function(ScheduleTestMsg), void function(CheckStopCondMsg), void function(ConfTesters), void function(Stop))
Undocumented in source.
SchemaSizeQUpdateActor
alias SchemaSizeQUpdateActor = typedActor!(void function(FullSchemaGenDoneMsg), void function(MutantsToTestMsg, long number), void function(SchemaGenStatusMsg, SchemaStatus, long mutantsInSchema), long function(GetSchemaSizeMsg))
Undocumented in source.
TestMutantActor
alias TestMutantActor = typedActor!(SchemaTestResult function(InjectIdResult.InjectId id), void function(TimeoutConfig))
Undocumented in source.

Classes

SchemataResult
class SchemataResult

Language generic schemata result.

Functions

makeHdr
Edit[] makeHdr()
Undocumented in source. Be warned that the author may not have intended to support it.
makeRootImpl
Edit[] makeRootImpl(ulong end)
Undocumented in source. Be warned that the author may not have intended to support it.
mutantsFromSchema
InjectIdResult mutantsFromSchema(SchemataBuilder.ET schema, Set!MutationStatusId whiteList)

Extract the mutants that are part of the schema.

sanityCheck
Tuple!(bool, "isOk", Duration, "runtime") sanityCheck(TestRunner runner)
Undocumented in source. Be warned that the author may not have intended to support it.
spawnSchema
auto spawnSchema(SchemaActor.Impl self, FilesysIO fio, TestRunner runner, AbsolutePath dbPath, TestCaseAnalyzer testCaseAnalyzer, ConfigSchema conf, TestStopCheck stopCheck, ShellCommand buildCmd, Duration buildCmdTimeout, DbSaveActor.Address dbSave, StatActor.Address stat, TimeoutConfig timeoutConf)
Undocumented in source. Be warned that the author may not have intended to support it.
spawnTestMutant
auto spawnTestMutant(TestMutantActor.Impl self, TestRunner runner, TestCaseAnalyzer analyzer)
Undocumented in source. Be warned that the author may not have intended to support it.
toSchemataChecksum
SchemataChecksum toSchemataChecksum(CodeMutant[] mutants)

A schema is uniquely identified by the mutants it contains.

Structs

CodeInject
struct CodeInject

Injects the schema and runtime.

ConfTesters
struct ConfTesters
Undocumented in source.
FinalResult
struct FinalResult
Undocumented in source.
GetDoneStatus
struct GetDoneStatus
Undocumented in source.
InjectIdBuilder
struct InjectIdBuilder

Generate schemata injection IDs (32bit) from mutant checksums (128bit).

InjectIdResult
struct InjectIdResult
Undocumented in source.
IsDone
struct IsDone
Undocumented in source.
ScheduleTest
struct ScheduleTest

Round robin scheduling of mutants for testing from the worker pool.

SchemaBuildState
struct SchemaBuildState

The total state for building schemas in runtime.

SchemaTestResult
struct SchemaTestResult
Undocumented in source.
SchemataBuilder
struct SchemataBuilder

Build scheman from the fragments.

Meta

License

MPL-2

Authors

Joakim Brännström (joakim.brannstrom@gmx.com)

This Source Code Form is subject to the terms of the Mozilla Public License, v.2.0. If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/.