src/main/scala/leon/evaluators/AbstractEvaluator.scala · 8bbb1fc180541e8862de6d574a7e12c29eadcac6 · LARA / inox

9 years ago

Mikaël Mayer authored 9 years ago

both in input and output.
Abstract evaluator returns a regular function invocation if the body could not be evaluated.

8bbb1fc1

Mikaël Mayer authored 9 years ago

both in input and output.
Abstract evaluator returns a regular function invocation if the body could not be evaluated.