I've augmented the random tester with a generator for the mvb/if pattern. I'll see if it causes this bug to expose itself.
(The approach I want to take is writing a macro for specific patterns involved in bugs, especially if the tester missed them. The use of a macro enables special simplification rules to be invoked on that code, if a bug is found.)
I've augmented the random tester with a generator for the mvb/if pattern. I'll see if it causes this bug to expose itself.
(The approach I want to take is writing a macro for specific patterns involved in bugs, especially if the tester missed them. The use of a macro enables special simplification rules to be invoked on that code, if a bug is found.)