BUG: if inspection enters +2/DNF, all solves after will be +2/DNFed too

Open pdtxie opened this issue 3 years ago • 3 comments

Jan 18 '22 22:01 pdtxie

This is still happening for me!

Jun 19 '23 23:06 laurasfelix

I'm so sorry that this is still happening! What app version are you currently running? And could you try the following: 1 - does manually toggling on and off DNF fix this? 2 - does switching sessions fix this?

Jun 20 '23 01:06 pdtxie

Ok I'm able to reproduce by having inspection on > go over inspection time > then turn off inspection - and only then do subsequent solves get auto +2/dnf'd.

I seem to have found a workaround though: if you turn on inspection, then do a solve without going over 15s inspection, does that fix this problem?

Jun 20 '23 01:06 pdtxie