Skip to content
Snippets Groups Projects
Commit 8f3e4a80 authored by Mikaël Mayer's avatar Mikaël Mayer
Browse files

Repaired examples and removed duplications because they are not going to be useful.

parent dbd24fd7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
testcases/stringrender/IntWrapperRender.scala
+ 10
− 10
View file @ 8f3e4a80
...@@ -38,11 +38,11 @@ object IntWrapperRender { ...@@ -38,11 +38,11 @@ object IntWrapperRender {
case IntWrapper(12) => "12.0" case IntWrapper(12) => "12.0"
} }
@inline def psDuplicate(s: IntWrapper) = (res: String) => (s, res) passes { /*@inline def psDuplicate(s: IntWrapper) = (res: String) => (s, res) passes {
case IntWrapper(0) => "0 0" case IntWrapper(0) => "0 0"
case IntWrapper(-1) => "-1 -1" case IntWrapper(-1) => "-1 -1"
case IntWrapper(12) => "12 12" case IntWrapper(12) => "12 12"
} }*/
def repairUnwrapped(s: IntWrapper): String = { def repairUnwrapped(s: IntWrapper): String = {
"IntWrapper(" + s.i + ")" "IntWrapper(" + s.i + ")"
...@@ -56,27 +56,27 @@ object IntWrapperRender { ...@@ -56,27 +56,27 @@ object IntWrapperRender {
"IntWrapper(" + s.i + ")" "IntWrapper(" + s.i + ")"
} ensuring psNameChangedSuffix(s) } ensuring psNameChangedSuffix(s)
def repairDuplicate(s: IntWrapper): String = { /*def repairDuplicate(s: IntWrapper): String = {
"IntWrapper(" + s.i + ")" "IntWrapper(" + s.i + ")"
} ensuring psDuplicate(s) } ensuring psDuplicate(s)*/
def synthesisStandard(s: IntWrapper): String = { def synthesizeStandard(s: IntWrapper): String = {
???[String] ???[String]
} ensuring psStandard(s) } ensuring psStandard(s)
def synthesisUnwrapped(s: IntWrapper): String = { def synthesizeUnwrapped(s: IntWrapper): String = {
???[String] ???[String]
} ensuring psUnwrapped(s) } ensuring psUnwrapped(s)
def synthesisNameChangedPrefix(s: IntWrapper): String = { def synthesizeNameChangedPrefix(s: IntWrapper): String = {
???[String] ???[String]
} ensuring psNameChangedPrefix(s) } ensuring psNameChangedPrefix(s)
def synthesisNameChangedSuffix(s: IntWrapper): String = { def synthesizeNameChangedSuffix(s: IntWrapper): String = {
???[String] ???[String]
} ensuring psNameChangedSuffix(s) } ensuring psNameChangedSuffix(s)
def synthesisDuplicate(s: IntWrapper): String = { /*def synthesizeDuplicate(s: IntWrapper): String = {
???[String] ???[String]
} ensuring psDuplicate(s) } ensuring psDuplicate(s)*/
} }
\ No newline at end of file
testcases/stringrender/ListRender.scala
+ 43
− 44
View file @ 8f3e4a80
...@@ -6,7 +6,6 @@ ...@@ -6,7 +6,6 @@
*/ */
import leon.lang._ import leon.lang._
import string.String
import leon.annotation._ import leon.annotation._
import leon.collection._ import leon.collection._
import leon.collection.ListOps._ import leon.collection.ListOps._
...@@ -14,76 +13,76 @@ import leon.lang.synthesis._ ...@@ -14,76 +13,76 @@ import leon.lang.synthesis._
object ListRender { object ListRender {
/** Synthesis by example specs */ /** Synthesis by example specs */
@inline def psStandard(s: List[Int])(res: String) = (s, res) passes { @inline def psStandard(s: List[Int]) = (res: String) =>(s, res) passes {
case Cons(12, Cons(-1, Nil)) => "Cons(12, Cons(-1, Nil))" case Cons(12, Cons(-1, Nil())) => "Cons(12, Cons(-1, Nil))"
case Cons(1, Nil) => "Cons(1, Nil)" case Cons(1, Nil()) => "Cons(1, Nil)"
case Nil => "Nil" case Nil() => "Nil"
} }
@inline def psRemoveCons(s: List[Int])(res: String) = (s, res) passes { @inline def psRemoveCons(s: List[Int]) = (res: String) =>(s, res) passes {
case Cons(12, Cons(-1, Nil)) => "(12, (-1, Nil))" case Cons(12, Cons(-1, Nil())) => "(12, (-1, Nil))"
case Cons(1, Nil) => "(1, Nil)" case Cons(1, Nil()) => "(1, Nil)"
case Nil => "Nil" case Nil() => "Nil"
} }
@inline def psRemoveNil(s: List[Int])(res: String) = (s, res) passes { @inline def psRemoveNil(s: List[Int]) = (res: String) =>(s, res) passes {
case Cons(12, Cons(-1, Nil)) => "(12, (-1, ))" case Cons(12, Cons(-1, Nil())) => "(12, (-1, ))"
case Cons(1, Nil) => "(1, )" case Cons(1, Nil()) => "(1, )"
case Nil => "" case Nil() => ""
} }
@inline def psRemoveLastComma(s: List[Int])(res: String) = (s, res) passes { @inline def psRemoveLastComma(s: List[Int]) = (res: String) =>(s, res) passes {
case Cons(12, Cons(-1, Nil)) => "(12, (-1))" case Cons(12, Cons(-1, Nil())) => "(12, (-1))"
case Cons(1, Nil) => "(1)" case Cons(1, Nil()) => "(1)"
case Nil => "()" case Nil() => "()"
} }
@inline def psRemoveParentheses(s: List[Int])(res: String) = (s, res) passes { @inline def psRemoveParentheses(s: List[Int]) = (res: String) =>(s, res) passes {
case Cons(12, Cons(-1, Nil)) => "12, -1" case Cons(12, Cons(-1, Nil())) => "12, -1"
case Cons(1, Nil) => "1" case Cons(1, Nil()) => "1"
case Nil => "" case Nil() => ""
} }
@inline def psWrapParentheses(s: List[Int])(res: String) = (s, res) passes { @inline def psWrapParentheses(s: List[Int]) = (res: String) =>(s, res) passes {
case Cons(12, Cons(-1, Nil)) => "(12, -1)" case Cons(12, Cons(-1, Nil())) => "(12, -1)"
case Cons(1, Nil) => "(1)" case Cons(1, Nil()) => "(1)"
case Nil => "()" case Nil() => "()"
} }
@inline def psList(s: List[Int])(res: String) = (s, res) passes { @inline def psList(s: List[Int]) = (res: String) =>(s, res) passes {
case Nil => "List()" case Nil() => "List()"
case Cons(1, Nil) => "List(1)" case Cons(1, Nil()) => "List(1)"
case Cons(12, Cons(-1, Nil)) => "List(12, -1)" case Cons(12, Cons(-1, Nil())) => "List(12, -1)"
} }
/** Each function's body is the solution of the previous problem. /** Each function's body is the solution of the previous problem.
* We want to check that the Leon can repair the programs and also find some ambiguities.*/ * We want to check that the Leon can repair the programs and also find some ambiguities.*/
def render1RemoveCons(s: List[Int]): String = { def render1RemoveCons(s: List[Int]): String = {
s match { s match {
case Nil => "Nil" case Nil() => "Nil"
case Cons(a, b) => "Cons(" + a + ", " + render1RemoveCons(b) + ")" case Cons(a, b) => "Cons(" + a.toString + ", " + render1RemoveCons(b) + ")"
} }
} ensuring psRemoveCons(s) } ensuring psRemoveCons(s)
def render2RemoveNil(s: List[Int]): String = { def render2RemoveNil(s: List[Int]): String = {
s match { s match {
case Nil => "Nil" case Nil() => "Nil"
case Cons(a, b) => "(" + a + ", " + render2RemoveNil(b) + ")" case Cons(a, b) => "(" + a.toString + ", " + render2RemoveNil(b) + ")"
} }
} ensuring psRemoveNil(s) } ensuring psRemoveNil(s)
def render3RemoveLastComma(s: List[Int]): String = { def render3RemoveLastComma(s: List[Int]): String = {
s match { s match {
case Nil => "" case Nil() => ""
case Cons(a, b) => "(" + a + ", " + render3RemoveLastComma(b) + ")" case Cons(a, b) => "(" + a.toString + ", " + render3RemoveLastComma(b) + ")"
} }
} ensuring psRemoveLastComma(s) } ensuring psRemoveLastComma(s)
def render4RemoveParentheses(s: List[Int]): String = { def render4RemoveParentheses(s: List[Int]): String = {
s match { s match {
case Nil => "" case Nil() => ""
case Cons(a, Nil) => "(" + a + ")" case Cons(a, Nil()) => "(" + a.toString + ")"
case Cons(a, b) => "(" + a + ", " + render4RemoveParentheses(b) + ")" case Cons(a, b) => "(" + a.toString + ", " + render4RemoveParentheses(b) + ")"
} }
} ensuring psRemoveParentheses(s) } ensuring psRemoveParentheses(s)
...@@ -91,18 +90,18 @@ object ListRender { ...@@ -91,18 +90,18 @@ object ListRender {
* in order to add strings to the left and to the right (see render6List) */ * in order to add strings to the left and to the right (see render6List) */
def render5WrapParentheses(s: List[Int]): String = { def render5WrapParentheses(s: List[Int]): String = {
s match { s match {
case Nil => "" case Nil() => ""
case Cons(a, Nil) => a.toString case Cons(a, Nil()) => a.toString
case Cons(a, b) => a + ", " + render5WrapParentheses(b) case Cons(a, b) => a.toString + ", " + render5WrapParentheses(b)
} }
} ensuring psWrapParentheses(s) } ensuring psWrapParentheses(s)
def render6List(s: List[Int]): String = { def render6List(s: List[Int]): String = {
def rec(s: List[Int]): String = def rec(s: List[Int]): String =
s match { s match {
case Nil => "" case Nil() => ""
case Cons(a, Nil) => a case Cons(a, Nil()) => a.toString
case Cons(a, b) => a + ", " + render6List(b) case Cons(a, b) => a.toString + ", " + render6List(b)
} }
"(" + rec(s) + ")" "(" + rec(s) + ")"
} ensuring psList(s) } ensuring psList(s)
......
testcases/stringrender/TupleWrapperRender.scala
+ 19
− 19
View file @ 8f3e4a80
...@@ -14,70 +14,70 @@ import leon.lang.synthesis._ ...@@ -14,70 +14,70 @@ import leon.lang.synthesis._
object TupleWrapperRender { object TupleWrapperRender {
case class TupleWrapper(i: Int, j: Int) case class TupleWrapper(i: Int, j: Int)
def psStandard(s: TupleWrapper) = (res: String) => (s, res) passes { @inline def psStandard(s: TupleWrapper) = (res: String) => (s, res) passes {
case TupleWrapper(0, 0) => "TupleWrapper(0, 0)" case TupleWrapper(0, 0) => "TupleWrapper(0, 0)"
case TupleWrapper(-1, 2) => "TupleWrapper(-1, 2)" case TupleWrapper(-1, 2) => "TupleWrapper(-1, 2)"
case TupleWrapper(12, 5) => "TupleWrapper(12, 5)" case TupleWrapper(12, 5) => "TupleWrapper(12, 5)"
} }
def psUnwrapped(s: TupleWrapper) = (res: String) => (s, res) passes { @inline def psUnwrapped(s: TupleWrapper) = (res: String) => (s, res) passes {
case TupleWrapper(0, 0) => "0, 0" case TupleWrapper(0, 0) => "0, 0"
case TupleWrapper(-1, 2) => "-1, 2" case TupleWrapper(-1, 2) => "-1, 2"
case TupleWrapper(12, 5) => "12, 5" case TupleWrapper(12, 5) => "12, 5"
} }
def psNameChangedPrefix(s: TupleWrapper) = (res: String) => (s, res) passes { @inline def psNameChangedPrefix(s: TupleWrapper) = (res: String) => (s, res) passes {
case TupleWrapper(0, 0) => "x = 0, y = 0" case TupleWrapper(0, 0) => "x = 0, y = 0"
case TupleWrapper(-1, 2) => "x = -1, y = 2" case TupleWrapper(-1, 2) => "x = -1, y = 2"
case TupleWrapper(12, 5) => "x = 12, y = 5" case TupleWrapper(12, 5) => "x = 12, y = 5"
} }
def psNameChangedSuffix(s: TupleWrapper) = (res: String) => (s, res) passes { @inline def psNameChangedSuffix(s: TupleWrapper) = (res: String) => (s, res) passes {
case TupleWrapper(0, 0) => "0.0,0.0" case TupleWrapper(0, 0) => "0.0,0.0"
case TupleWrapper(-1, 2) => "-1.0,2.0" // Here there should be an ambiguity before this line. case TupleWrapper(-1, 2) => "-1.0,2.0" // Here there should be an ambiguity before this line.
case TupleWrapper(12, 5) => "12.0,5.0" case TupleWrapper(12, 5) => "12.0,5.0"
} }
def psDuplicate(s: TupleWrapper) = (res: String) => (s, res) passes { /*@inline def psDuplicate(s: TupleWrapper) = (res: String) => (s, res) passes {
case TupleWrapper(0, 0) => "d 0,0 0,15 15,15 15,0" case TupleWrapper(0, 0) => "d 0,0 0,15 15,15 15,0"
case TupleWrapper(-1, 2) => "d -1,-2 -1,15 15,15 15,2" case TupleWrapper(-1, 2) => "d -1,-2 -1,15 15,15 15,2"
case TupleWrapper(12, 5) => "d 12,5 12,15 15,15 15,5" case TupleWrapper(12, 5) => "d 12,5 12,15 15,15 15,5"
} }*/
def repairUnWrapped(s: TupleWrapper): String = { def repairUnWrapped(s: TupleWrapper): String = {
"TupleWrapper(" + s.i + ", " + s.j + ")"" "TupleWrapper(" + s.i + ", " + s.j + ")"
} ensuring psUnWrapped(s) } ensuring psUnwrapped(s)
def repairNameChangedPrefix(s: TupleWrapper): String = { def repairNameChangedPrefix(s: TupleWrapper): String = {
"TupleWrapper(" + s.i + ", " + s.j + ")"" "TupleWrapper(" + s.i + ", " + s.j + ")"
} ensuring psNameChangedPrefix(s) } ensuring psNameChangedPrefix(s)
def repairNameChangedSuffix(s: TupleWrapper): String = { def repairNameChangedSuffix(s: TupleWrapper): String = {
"TupleWrapper(" + s.i + ", " + s.j + ")"" "TupleWrapper(" + s.i + ", " + s.j + ")"
} ensuring psNameChangedSuffix(s) } ensuring psNameChangedSuffix(s)
def repairDuplicate(s: TupleWrapper): String = { /*def repairDuplicate(s: TupleWrapper): String = {
"TupleWrapper(" + s.i + ", " + s.j + ")"" "TupleWrapper(" + s.i + ", " + s.j + ")"
} ensuring psDuplicate(s) } ensuring psDuplicate(s)*/
def synthesisStandard(s: TupleWrapper): String = { def synthesizeStandard(s: TupleWrapper): String = {
???[String] ???[String]
} ensuring psStandard(s) } ensuring psStandard(s)
def synthesisUnwrapped(s: TupleWrapper): String = { def synthesizeUnwrapped(s: TupleWrapper): String = {
???[String] ???[String]
} ensuring psUnwrapped(s) } ensuring psUnwrapped(s)
def synthesisNameChangedPrefix(s: TupleWrapper): String = { def synthesizeNameChangedPrefix(s: TupleWrapper): String = {
???[String] ???[String]
} ensuring psNameChangedPrefix(s) } ensuring psNameChangedPrefix(s)
def synthesisNameChangedSuffix(s: TupleWrapper): String = { def synthesizeNameChangedSuffix(s: TupleWrapper): String = {
???[String] ???[String]
} ensuring psNameChangedSuffix(s) } ensuring psNameChangedSuffix(s)
def synthesisDuplicate(s: TupleWrapper): String = { /*def synthesizeDuplicate(s: TupleWrapper): String = {
???[String] ???[String]
} ensuring psDuplicate(s) } ensuring psDuplicate(s)*/
} }
\ No newline at end of file
testcases/stringrender/TwoArgsWrapperRender.scala
+ 26
− 25
View file @ 8f3e4a80
...@@ -9,72 +9,73 @@ import leon.annotation._ ...@@ -9,72 +9,73 @@ import leon.annotation._
import leon.collection._ import leon.collection._
import leon.collection.ListOps._ import leon.collection.ListOps._
import leon.lang.synthesis._ import leon.lang.synthesis._
import leon.lang._
object TwoArgsWrapperRender { object TwoArgsWrapperRender {
def psStandard(s: Int, t: Int) = (res: String) => ((s, t), res) passes { @inline def psStandard(s: Int, t: Int) = (res: String) => ((s, t), res) passes {
case (0, 0) => "TupleWrapper(0, 0)" case (0, 0) => "TupleWrapper(0, 0)"
case (-1, 2) => "TupleWrapper(-1, 2)" case (-1, 2) => "TupleWrapper(-1, 2)"
case (12, 5) => "TupleWrapper(12, 5)" case (12, 5) => "TupleWrapper(12, 5)"
} }
def psUnwrapped(s: Int, t: Int) = (res: String) => ((s, t), res) passes { @inline def psUnwrapped(s: Int, t: Int) = (res: String) => ((s, t), res) passes {
case (0, 0) => "0, 0" case (0, 0) => "0, 0"
case (-1, 2) => "-1, 2" case (-1, 2) => "-1, 2"
case (12, 5) => "12, 5" case (12, 5) => "12, 5"
} }
def psNameChangedPrefix(s: Int, t: Int) = (res: String) => ((s, t), res) passes { @inline def psNameChangedPrefix(s: Int, t: Int) = (res: String) => ((s, t), res) passes {
case (0, 0) => "x = 0, y = 0" case (0, 0) => "x = 0, y = 0"
case (-1, 2) => "x = -1, y = 2" case (-1, 2) => "x = -1, y = 2"
case (12, 5) => "x = 12, y = 5" case (12, 5) => "x = 12, y = 5"
} }
def psNameChangedSuffix(s: Int, t: Int) = (res: String) => ((s, t), res) passes { @inline def psNameChangedSuffix(s: Int, t: Int) = (res: String) => ((s, t), res) passes {
case (0, 0) => "0.0,0.0" case (0, 0) => "0.0,0.0"
case (-1, 2) => "-1.0,2.0" // Here there should be an ambiguity before this line. case (-1, 2) => "-1.0,2.0" // Here there should be an ambiguity before this line.
case (12, 5) => "12.0,5.0" case (12, 5) => "12.0,5.0"
} }
def psDuplicate(s: Int, t: Int) = (res: String) => ((s, t), res) passes { /*def psDuplicate(s: Int, t: Int) = (res: String) => ((s, t), res) passes {
case (0, 0) => "d 0,0 0,15 15,15 15,0" case (0, 0) => "d 0,0 0,15 15,15 15,0"
case (-1, 2) => "d -1,-2 -1,15 15,15 15,2" case (-1, 2) => "d -1,-2 -1,15 15,15 15,2"
case (12, 5) => "d 12,5 12,15 15,15 15,5" case (12, 5) => "d 12,5 12,15 15,15 15,5"
} }*/
def repairUnWrapped(s: Int, t: Int): String = { def repairUnWrapped(s: Int, t: Int): String = {
"(" + s + ", " + t + ")"" "(" + s + ", " + t + ")"
} ensuring psUnWrapped(s) } ensuring psUnwrapped(s, t)
def repairNameChangedPrefix(s: Int, t: Int): String = { def repairNameChangedPrefix(s: Int, t: Int): String = {
"(" + s + ", " + t + ")"" "(" + s + ", " + t + ")"
} ensuring psNameChangedPrefix(s) } ensuring psNameChangedPrefix(s, t)
def repairNameChangedSuffix(s: Int, t: Int): String = { def repairNameChangedSuffix(s: Int, t: Int): String = {
"(" + s + ", " + t + ")"" "(" + s + ", " + t + ")"
} ensuring psNameChangedSuffix(s) } ensuring psNameChangedSuffix(s, t)
def repairDuplicate(s: Int, t: Int): String = { /*def repairDuplicate(s: Int, t: Int): String = {
"(" + s + ", " + t + ")"" "(" + s + ", " + t + ")"
} ensuring psDuplicate(s) } ensuring psDuplicate(s)*/
def synthesisStandard(s: Int, t: Int): String = { def synthesizeStandard(s: Int, t: Int): String = {
???[String] ???[String]
} ensuring psStandard(s) } ensuring psStandard(s, t)
def synthesisUnwrapped(s: Int, t: Int): String = { def synthesizeUnwrapped(s: Int, t: Int): String = {
???[String] ???[String]
} ensuring psUnwrapped(s) } ensuring psUnwrapped(s, t)
def synthesisNameChangedPrefix(s: Int, t: Int): String = { def synthesizeNameChangedPrefix(s: Int, t: Int): String = {
???[String] ???[String]
} ensuring psNameChangedPrefix(s) } ensuring psNameChangedPrefix(s, t)
def synthesisNameChangedSuffix(s: Int, t: Int): String = { def synthesizeNameChangedSuffix(s: Int, t: Int): String = {
???[String] ???[String]
} ensuring psNameChangedSuffix(s) } ensuring psNameChangedSuffix(s, t)
def synthesisDuplicate(s: Int, t: Int): String = { /*def synthesizeDuplicate(s: Int, t: Int): String = {
???[String] ???[String]
} ensuring psDuplicate(s) } ensuring psDuplicate(s)*/
} }
\ No newline at end of file
testcases/stringrender/runRepair.sh
+ 3
− 3
View file @ 8f3e4a80
...@@ -23,17 +23,17 @@ echo "# Category, File, function, p.S, fuS ...@@ -23,17 +23,17 @@ echo "# Category, File, function, p.S, fuS
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairUnwrapped testcases/stringrender/IntWrapperRender.scala | tee -a $fullLog ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairUnwrapped testcases/stringrender/IntWrapperRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairNameChangedPrefix testcases/stringrender/IntWrapperRender.scala | tee -a $fullLog ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairNameChangedPrefix testcases/stringrender/IntWrapperRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairNameChangedSuffix testcases/stringrender/IntWrapperRender.scala | tee -a $fullLog ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairNameChangedSuffix testcases/stringrender/IntWrapperRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairDuplicate testcases/stringrender/IntWrapperRender.scala | tee -a $fullLog # ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairDuplicate testcases/stringrender/IntWrapperRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairUnwrapped testcases/stringrender/TwoArgsWrapperRender.scala | tee -a $fullLog ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairUnwrapped testcases/stringrender/TwoArgsWrapperRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairNameChangedPrefix testcases/stringrender/TwoArgsWrapperRender.scala | tee -a $fullLog ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairNameChangedPrefix testcases/stringrender/TwoArgsWrapperRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairNameChangedSuffix testcases/stringrender/TwoArgsWrapperRender.scala | tee -a $fullLog ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairNameChangedSuffix testcases/stringrender/TwoArgsWrapperRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairDuplicate testcases/stringrender/TwoArgsWrapperRender.scala | tee -a $fullLog # ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairDuplicate testcases/stringrender/TwoArgsWrapperRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairUnwrapped testcases/stringrender/TupleWrapperRender.scala | tee -a $fullLog ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairUnwrapped testcases/stringrender/TupleWrapperRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairNameChangedPrefix testcases/stringrender/TupleWrapperRender.scala | tee -a $fullLog ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairNameChangedPrefix testcases/stringrender/TupleWrapperRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairNameChangedSuffix testcases/stringrender/TupleWrapperRender.scala | tee -a $fullLog ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairNameChangedSuffix testcases/stringrender/TupleWrapperRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairDuplicate testcases/stringrender/TupleWrapperRender.scala | tee -a $fullLog # ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=repairDuplicate testcases/stringrender/TupleWrapperRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=render1RemoveCons testcases/stringrender/ListRender.scala | tee -a $fullLog ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=render1RemoveCons testcases/stringrender/ListRender.scala | tee -a $fullLog
./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=render2RemoveNil testcases/stringrender/ListRender.scala | tee -a $fullLog ./leon --repair --timeout=30 --solvers=smt-cvc4 --functions=render2RemoveNil testcases/stringrender/ListRender.scala | tee -a $fullLog
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment