src/test/scala/leon/integration/evaluators/AbstractEvaluatorSuite.scala · 1cceb0d29d9f688abfca3099571a5621a4532958 · LARA / inox

8 years ago

Mikaël Mayer authored 8 years ago

Added faster version for abstract-only evaluation.
Fixed bug of tuples in AbstractEvaluator.scala

1cceb0d2

Mikaël Mayer authored 8 years ago

Added faster version for abstract-only evaluation.
Fixed bug of tuples in AbstractEvaluator.scala