From 052b897ff963e84cb5f7d41649b6e5f2a74b3268 Mon Sep 17 00:00:00 2001 From: Aleksandr Nogikh Date: Fri, 8 Mar 2024 17:24:27 +0100 Subject: Revert "prog: auto-set proper conditional fields in Deserialize()" This reverts commit 8e75c913b6f9b09cab2ad31fd7d66ea0d1703de8. --- prog/minimization.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'prog/minimization.go') diff --git a/prog/minimization.go b/prog/minimization.go index 1760d180f..a9864aca2 100644 --- a/prog/minimization.go +++ b/prog/minimization.go @@ -281,7 +281,7 @@ func minimizeInt(ctx *minimizeArgsCtx, arg Arg, path string) bool { // By mutating an integer, we risk violating conditional fields. // If the fields are patched, the minimization process must be restarted. - patched := ctx.call.setDefaultConditions(ctx.p.Target, false) + patched := ctx.call.setDefaultConditions(ctx.p.Target) if ctx.pred(ctx.p, ctx.callIndex0) { *ctx.p0 = ctx.p ctx.triedPaths[path] = true -- cgit mrf-deployment