Verified Commit 7faba9b1 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💾
Browse files

Remove now-redundant mutation restriction

parent 45f850bf
...@@ -141,7 +141,6 @@ func verifyActiveMutatePrincipalState( ...@@ -141,7 +141,6 @@ func verifyActiveMutatePrincipalState(
) (*PrincipalState, bool) { ) (*PrincipalState, bool) {
earliestMutation := len(valPrincipalState.Constants) earliestMutation := len(valPrincipalState.Constants)
isWorthwhileMutation := false isWorthwhileMutation := false
MutationLoop:
for i := 0; i < len(valMutationMap.Constants); i++ { for i := 0; i < len(valMutationMap.Constants); i++ {
ai, ii := valueResolveConstant(valMutationMap.Constants[i], valPrincipalState) ai, ii := valueResolveConstant(valMutationMap.Constants[i], valPrincipalState)
ac := valMutationMap.Combination[i] ac := valMutationMap.Combination[i]
...@@ -155,11 +154,6 @@ MutationLoop: ...@@ -155,11 +154,6 @@ MutationLoop:
ac.Data.(*Primitive).Output = ar.Data.(*Primitive).Output ac.Data.(*Primitive).Output = ar.Data.(*Primitive).Output
ac.Data.(*Primitive).Check = ar.Data.(*Primitive).Check ac.Data.(*Primitive).Check = ar.Data.(*Primitive).Check
} }
if valueEquivalentConstantInConstants(
valMutationMap.Constants[i], valueGetConstantsFromValue(ac),
) >= 0 {
continue MutationLoop
}
} }
switch { switch {
case valueEquivalentValues(ac, ar, true): case valueEquivalentValues(ac, ar, true):
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment