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.
and line 1070
If you see the mistake, place let me know. Sorry if the images are unclear.