Added automatic testing to termination framework and corrected some
small issues in the ChainProcessor system. Some tests ending in .BAK should be runnable but can't for now because of a memory leak somewhere in the framework.
Showing
- src/main/scala/leon/termination/ChainBuilder.scala 13 additions, 0 deletionssrc/main/scala/leon/termination/ChainBuilder.scala
- src/main/scala/leon/termination/ChainProcessor.scala 23 additions, 21 deletionssrc/main/scala/leon/termination/ChainProcessor.scala
- src/main/scala/leon/termination/LoopProcessor.scala 1 addition, 1 deletionsrc/main/scala/leon/termination/LoopProcessor.scala
- src/main/scala/leon/termination/Processor.scala 6 additions, 8 deletionssrc/main/scala/leon/termination/Processor.scala
- src/main/scala/leon/termination/RelationProcessor.scala 0 additions, 2 deletionssrc/main/scala/leon/termination/RelationProcessor.scala
- src/test/resources/regression/termination/looping/Looping1.scala.BAK 33 additions, 0 deletions...sources/regression/termination/looping/Looping1.scala.BAK
- src/test/resources/regression/termination/looping/Looping2.scala.BAK 32 additions, 0 deletions...sources/regression/termination/looping/Looping2.scala.BAK
- src/test/resources/regression/termination/looping/Looping3.scala.BAK 32 additions, 0 deletions...sources/regression/termination/looping/Looping3.scala.BAK
- src/test/resources/regression/termination/looping/Numeric1.scala 11 additions, 0 deletions...t/resources/regression/termination/looping/Numeric1.scala
- src/test/resources/regression/termination/looping/Numeric2.scala 13 additions, 0 deletions...t/resources/regression/termination/looping/Numeric2.scala
- src/test/resources/regression/termination/looping/Termination_failling1.scala 22 additions, 0 deletions...egression/termination/looping/Termination_failling1.scala
- src/test/resources/regression/termination/unknown/Numeric3.scala 8 additions, 0 deletions...t/resources/regression/termination/unknown/Numeric3.scala
- src/test/resources/regression/termination/valid/BinaryTreeImp.scala 101 additions, 0 deletions...esources/regression/termination/valid/BinaryTreeImp.scala
- src/test/resources/regression/termination/valid/BubbleSort.scala 74 additions, 0 deletions...t/resources/regression/termination/valid/BubbleSort.scala
- src/test/resources/regression/termination/valid/ComplexChains.scala 26 additions, 0 deletions...esources/regression/termination/valid/ComplexChains.scala
- src/test/resources/regression/termination/valid/Fibonacci.scala 15 additions, 0 deletions...st/resources/regression/termination/valid/Fibonacci.scala
- src/test/resources/regression/termination/valid/HardChains.scala.BAK 37 additions, 0 deletions...sources/regression/termination/valid/HardChains.scala.BAK
- src/test/resources/regression/termination/valid/ListWithSize.scala 135 additions, 0 deletions...resources/regression/termination/valid/ListWithSize.scala
- src/test/resources/regression/termination/valid/Numeric1.scala 11 additions, 0 deletions...est/resources/regression/termination/valid/Numeric1.scala
- src/test/resources/regression/termination/valid/QuickSort.scala 58 additions, 0 deletions...st/resources/regression/termination/valid/QuickSort.scala
Loading
Please register or sign in to comment