Problem importing Constraints from External Functions

Whiley / WhileyCompiler

The Whiley Compiler (WyC)

http://whiley.org

Apache License 2.0

217 stars 36 forks source link

Problem importing Constraints from External Functions #220

Closed DavePearce closed 11 years ago

DavePearce commented 11 years ago

Currently, there is a problem caused by importing pre/post conditions from library functions (e.g. Math.max()). The problem is present in e.g. 011_codejam benchmark, and others.

DavePearce commented 11 years ago

Fixed, but remains an separate problem related to the #221