entity Foo{
  predicate bar(f:Foo){ this == f } 
}

test {
  assert(!Foo{}.bar(Foo{});
}
Submitted by Danny Groenewegen on 1 June 2011 at 12:56

On 1 June 2011 at 12:56 Danny Groenewegen tagged 1.2.8

On 1 June 2011 at 12:56 Danny Groenewegen closed this issue.

Log in to post comments