mutate: reset mutant by id about dextool HOT 3 CLOSED

That is a reasonable request to be able to manually reset a mutant by its ID. I'll add it and improve the doc for markMutant.

I think markMutant need some more documentation. It is a bit of advanced feature that lets you mark a mutant with whatever status you want and the tool keeps track of this. If it is ever lost then the tool informs you and askes you to re-"glue" the marking. It is fore those cases where it isn't applicable/impossible to add a // NOMUT because the source code is not possible to change. It is frozen, qualified or other reasons.

from dextool.

#1174 should fix NOT NULL

Confirmed fix working with dextool mutate admin --operation markMutant --id 20 --to-status unknown --rationale test. With that I'll consider this issue fixed though I prefer to use dextool mutate admin --operation resetMutant --id 87 as that is more straightforward. I'll leave that up to you to decide. Thank you for your time :)

from dextool.

dextool mutate admin --operation markMutant --id 87 --to-status unknown --rationale test
info: Using /home/pokgak/git/RIOT-mutate-dev/mutate/dextool_mutate.sqlite3
error: error 19: NOT NULL constraint failed: marked_mutant.mutText
error: exiting...

#1174 should fix NOT NULL

from dextool.