Commit 1c328749 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💎

Restore mutationMapSkipValue type restrictions

parent 33722391
Pipeline #532 failed with stages
in 45 seconds
......@@ -44,6 +44,12 @@ func mutationMapInit(
func mutationMapSkipValue(
v Value, i int, valKnowledgeMap KnowledgeMap, valPrincipalState PrincipalState, valAttackerState AttackerState,
) bool {
switch v.Kind {
case "primitive":
return true
case "equation":
return true
}
switch {
case i < 0:
return 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