version 0.4

Peter Schrammel · Peter Schrammel · commit 91701a625217 · 2016-08-17T20:43:32.000+01:00
diff --git a/COMPILING b/COMPILING
@@ -2,5 +2,5 @@
 
 ./install.sh
 
-The executable is in src/summarizer/2ls
+The executable is src/summarizer/2ls
 
diff --git a/regression/termination/precond_term1/main.c b/regression/termination/precond_term1/main.c
@@ -11,7 +11,6 @@ int foo(int y)
     //assert(-(x-(x+y))>0);
     //assert(!( (signed __CPROVER_bitvector[65])-1 * (signed __CPROVER_bitvector[65])x_lb <=  (signed __CPROVER_bitvector[65])-1 *  (signed __CPROVER_bitvector[65])x));
   }
-//  if(0) assert(0);
   return x;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -2,5 +2,5 @@`
`2`	`2`
`3`	`3`	`./install.sh`
`4`	`4`
`5`		`-The executable is in src/summarizer/2ls`
	`5`	`+The executable is src/summarizer/2ls`
`6`	`6`
Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,6 @@ int foo(int y)`
`11`	`11`	`//assert(-(x-(x+y))>0);`
`12`	`12`	`//assert(!( (signed __CPROVER_bitvector[65])-1 * (signed __CPROVER_bitvector[65])x_lb <= (signed __CPROVER_bitvector[65])-1 * (signed __CPROVER_bitvector[65])x));`
`13`	`13`	`}`
`14`		`-// if(0) assert(0);`
`15`	`14`	`return x;`
`16`	`15`	`}`
`17`	`16`