diff options
| author | Aleksandr Nogikh <wp32pw@gmail.com> | 2024-03-08 17:24:27 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2024-03-08 16:36:20 +0000 |
| commit | 052b897ff963e84cb5f7d41649b6e5f2a74b3268 (patch) | |
| tree | 7d2382b675a5b5cd36a1b86a075488113d7f06b6 /prog/minimization.go | |
| parent | 666fe1b4b5e1245111f06d056e691585b1d4d672 (diff) | |
Revert "prog: auto-set proper conditional fields in Deserialize()"
This reverts commit 8e75c913b6f9b09cab2ad31fd7d66ea0d1703de8.
Diffstat (limited to 'prog/minimization.go')
| -rw-r--r-- | prog/minimization.go | 2 |
1 files changed, 1 insertions, 1 deletions
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 |