dextool v4.0.0 (2021-09-08T15:39:18Z)

DbMutant.updateMutation

dextool plugin mutate backend database standalone DbMutant

Update the status of a mutant.

  1. void updateMutation(MutationId id, Mutation.Status st, ExitStatus ecode, MutantTimeProfile p, const(TestCase)[] tcs)
  2. void updateMutation(MutationStatusId id, Mutation.Status st, ExitStatus ecode, MutantTimeProfile p)
    struct DbMutant
    @trusted
    void
    updateMutation
    (
    const MutationStatusId id
    ,
    const Mutation.Status st
    ,
    const ExitStatus ecode
    ,
    const MutantTimeProfile p
    )
  3. void updateMutation(MutationStatusId id, MutantTimeProfile p)

Parameters

id MutationStatusId

ID of the mutant

st Mutation.Status

status to broadcast

Meta

Source

See Implementation

dextool plugin mutate backend database standalone DbMutant aliasesfunctions

Page generated by adrdox