Etienne Kneuss

Evaluation of passes fails to record positions of patterns, guards, scrutinees

1

The counter-example is not well displayed within the passes: ``` scala package leon.custom import leon._ import leon.lang._ import leon.collection._ import leon.annotation._ sealed abstract class List[T] { def count(e: T): BigInt...

Portfolio solvers cannot be used incrementally if the underlying solvers are smt-lib based. The issue is that whenever portfolio runs check() it waits until the first solver finishes and then...

https://bugs.php.net/bug.php?id=68882