The input to the rule is :(SimpleSort(“String”),“length”,[]) and the problem is probably in the fact that SimpleSort(“String”) is fed to fatal-err as such where it expects a string, since the trace shows us that the fail originates at fatal-err -> concat-strings.

Failure found by automatic random test case generation tool, app causing this failure can be found here.

Submitted by André Vieira on 29 January 2013 at 15:45

Log in to post comments