-
- Downloads
Normalize regression tests
Showing
- src/test/resources/regression/codegen/Prog001.scala 0 additions, 0 deletionssrc/test/resources/regression/codegen/Prog001.scala
- src/test/resources/regression/codegen/Prog002.scala 0 additions, 0 deletionssrc/test/resources/regression/codegen/Prog002.scala
- src/test/resources/regression/codegen/Prog003.scala 0 additions, 0 deletionssrc/test/resources/regression/codegen/Prog003.scala
- src/test/resources/regression/codegen/README 0 additions, 0 deletionssrc/test/resources/regression/codegen/README
- src/test/scala/leon/test/codegen/CodeGenRegression.scala 3 additions, 5 deletionssrc/test/scala/leon/test/codegen/CodeGenRegression.scala
- src/test/scala/leon/test/verification/PureScalaVerificationRegression.scala 2 additions, 2 deletions...n/test/verification/PureScalaVerificationRegression.scala
Loading
Please register or sign in to comment