-
- Downloads
"README.md" did not exist on "8a0a70955e7db40c3a9da10c51a5fe6807749d1b"
front-end only accepts != with comparable types
Showing
- src/main/scala/leon/frontends/scalac/ASTExtractors.scala 7 additions, 0 deletionssrc/main/scala/leon/frontends/scalac/ASTExtractors.scala
- src/main/scala/leon/frontends/scalac/CodeExtraction.scala 19 additions, 3 deletionssrc/main/scala/leon/frontends/scalac/CodeExtraction.scala
- src/test/resources/regression/verification/purescala/error/NotEquals.scala 8 additions, 0 deletions...s/regression/verification/purescala/error/NotEquals.scala
- src/test/resources/regression/verification/purescala/valid/Rational.scala 19 additions, 0 deletions...es/regression/verification/purescala/valid/Rational.scala
Loading
Please register or sign in to comment