At the moment, a TxSkel can Maybe have a label attached to it, which has the intended use to show that an attack was applied. There might be a problem once we start applying many attacks to the same transaction, which is discussed in the PR introducing the monad attacks.
A possible solution would be to have a list of labels and add to that list, but only if the label does not already exist.
At the moment, a
TxSkel
canMaybe
have a label attached to it, which has the intended use to show that an attack was applied. There might be a problem once we start applying many attacks to the same transaction, which is discussed in the PR introducing the monad attacks.A possible solution would be to have a list of labels and add to that list, but only if the label does not already exist.