Unable to use previously declared prop/for-all bound parameters in subsequent expressions

Description

The following code sample does not pass compilation:

The exception when attempting to define/compile the property above is:

Verified with test.check version 0.9.0.

Environment

None

Activity

Show:
gfredericks
February 14, 2018, 12:18 PM

Duplicates TCHECK-85

Duplicate

Assignee

gfredericks

Reporter

import

Labels

None

Approval

None

Patch

None

Priority

Major