Opened 16 years ago

Closed 16 years ago

#243 closed task (fixed)

forall example needs accompanying JUnit test

Reported by: Stephen Siegel Owned by: bperry
Priority: major Milestone: Release 1.0
Component: test Version: 1.0
Keywords: forall quantifier test Cc:

Description


Change History (6)

comment:1 by bperry, 16 years ago

Status: new → accepted

comment:2 by Stephen Siegel, 16 years ago

Ben added a JUnit test, but it is failing.

comment:3 by Stephen Siegel, 16 years ago

The forall expression is not getting constructed correctly: the predicate is being placed in both the bound expression and the predicate expression. I.e.:

"forall {int x | e1} e2"

is getting translated to

"forall {int x | e1} e1"

I'm working on the Evaluator support.

comment:4 by zirkel, 16 years ago

Right you are. Should be fixed now.

comment:5 by Stephen Siegel, 16 years ago

The other problem is that the bound variable is not being created as a BoundVariableIF, it is being created as a LocalVariable?. The model builder needs to call the method in the model factory for a bound variable.

comment:6 by Stephen Siegel, 16 years ago

Resolution: → fixed
Status: accepted → closed

Done and test passing.

Note: See TracTickets for help on using tickets.