-
- Downloads
Integrated testing.
Showing
- src/main/scala/leon/Reporter.scala 31 additions, 28 deletionssrc/main/scala/leon/Reporter.scala
- src/test/resources/regression/verification/purescala/invalid/InsertionSort.scala 42 additions, 0 deletions...ession/verification/purescala/invalid/InsertionSort.scala
- src/test/resources/regression/verification/purescala/invalid/ListOperations.scala 107 additions, 0 deletions...ssion/verification/purescala/invalid/ListOperations.scala
- src/test/resources/regression/verification/purescala/invalid/PropositionalLogic.scala 86 additions, 0 deletions...n/verification/purescala/invalid/PropositionalLogic.scala
- src/test/resources/regression/verification/purescala/invalid/README 2 additions, 0 deletions...esources/regression/verification/purescala/invalid/README
- src/test/resources/regression/verification/purescala/invalid/RedBlackTree.scala 102 additions, 0 deletions...ression/verification/purescala/invalid/RedBlackTree.scala
- src/test/resources/regression/verification/purescala/valid/AssociativeList.scala 2 additions, 2 deletions...ession/verification/purescala/valid/AssociativeList.scala
- src/test/resources/regression/verification/purescala/valid/InsertionSort.scala 0 additions, 13 deletions...gression/verification/purescala/valid/InsertionSort.scala
- src/test/resources/regression/verification/purescala/valid/ListOperations.scala 0 additions, 4 deletions...ression/verification/purescala/valid/ListOperations.scala
- src/test/resources/regression/verification/purescala/valid/PropositionalLogic.scala 0 additions, 11 deletions...ion/verification/purescala/valid/PropositionalLogic.scala
- src/test/resources/regression/verification/purescala/valid/RedBlackTree.scala 0 additions, 19 deletions...egression/verification/purescala/valid/RedBlackTree.scala
- src/test/scala/leon/test/PureScalaPrograms.scala 84 additions, 0 deletionssrc/test/scala/leon/test/PureScalaPrograms.scala
- src/test/scala/leon/test/ValidPrograms.scala 0 additions, 48 deletionssrc/test/scala/leon/test/ValidPrograms.scala
Loading
Please register or sign in to comment