Randomtest failed

Hi! I just started using randomtest (with Firefox) to hunt for bugs. It worked great to start, but now I keep getting the same error I don’t understand. It’s probably something simple and obvious, but, as I’m a beginner, I thought it wouldn’t hurt to ask. This is the error:

RANDOMTEST FAILED
line 3: Invalid expression at char 7, expected OPERATOR, was: VAR [true] 

I’m not even sure where the invalid expression is located since it doesn’t point to one of my files. Thank you in advance for your help. :slight_smile:

What is the last randomtest seed? You can look at that one and see where the randomtest stopped at to figure out which file you need to check.

Thanks, Grapefruit! I did check the file in question, and the error still doesn’t seem to make any sense. It may also be that I’m not understanding the syntax of the error correctly.

Aha! I figured it out. The error was in the next file, referring to an error that came up before any choices were to be made. :slight_smile: