… to solve the “Fox, goose and beans (rivercross) puzzle in TLA” (see attached .tla file). Unfortunately it throws the following exception: TLC threw an unexpected exception. This was probably caused by an error in the spec or model. See the User Output or TLC Console for clues to what happened. The exception was a tlc2.tool.EvalException: Attempted to apply the operator overridden by the Java method public static tlc2.value.Value tlc2.module.Sequences.Append(tlc2.value.Value,tlc2.value.Value), but it produced the following error: Something is wrong in the IF clause! But what? Any hint? Fritz |
Attachment:
shores2.tla
Description: Binary data