Chris - On Fri, Mar 08, 2024 at 11:16:06AM +0000, Chris Lamb wrote: > Oh this is great work! As the (year-old) thread originator, I agree! This fills a real gap! > So, using your tool, did you manage to solve the > underlying non-determinism? :) We did figure it out, very tediously, a year ago. - Larry