Project

General

Profile

2.8

open

over 11 years late (06/30/2012)

0%

1 issue   (0 closed — 1 open)

Issues by
Bug

0/1
Related issues
Bug #2154: When "local" predicates meet function calls, the verification becomes much slower... Actions