Hey, I have a mistake I can’t figure out in randomtest. I’m sure it’s an obvious thing, but I just don’t see it. Because of that I have added some screenshots so one of you might be able to help me out. (I really like randomtest since it finds a lot of mistakes). I would have had the program write it all out, but it finds the mistake at seed 2110 and firefoxs crashes when I try that.
First one, showing the error, going from a choice in line 4503 suddenly back to line 1070, no idea why.
Line 4503
and line 1070
If you see the mistake, place let me know. Sorry if the images are unclear.