Skip to content
Closed
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -20,13 +20,24 @@ object CardanoMutator extends STS.Mutator {
.map(v => v.name -> v)
.toMap

val allMutators: Map[String, STS.Mutator] =
TraitObjectScanner
.findImplementors[STS.Mutator](packageName)
.view
.filter(_.name != this.name) // Exclude self to prevent infinite recursion
.map(v => v.name -> v)
.toMap
val allMutators: Map[String, STS.Mutator] = {
// FIXME: The TraitObjectScanner is non-deterministic; it can return the mutators in different orders.
// The mutators aren't commutative, so this is an issue.
// TraitObjectScanner
// .findImplementors[STS.Mutator](packageName)
// .view
// .filter(_.name != this.name) // Exclude self to prevent infinite recursion
// .map(v => v.name -> v)
// .toMap
// QUESTION: Should we add the outputs before or after running the plutus scripts transaction mutator?
// Does it matter?
Map(
"AddOutputsToUtxoMutator" -> AddOutputsToUtxoMutator,
"PlutusScriptsTransactionMutator" -> PlutusScriptsTransactionMutator,
"FeeMutator" -> FeeMutator,
"RemoveInputsFromUtxoMutator" -> RemoveInputsFromUtxoMutator
)
}

val allSTSs: Map[String, STS] = allValidators ++ allMutators
}
Loading