Update formal_verification.md

kokke · web-flow · commit 858f846784c7 · 2021-02-16T08:34:56.000+01:00
diff --git a/formal_verification.md b/formal_verification.md
@@ -110,7 +110,8 @@ int main(int argc, char* argv[])
 }
 ```
 
-My modest hardware (T420/i5-2520M@2.5GHz/8GB) completes a check of a 7-char pattern and a 3-char text string in 20-30 minutes (size includes null-termination):
+My modest hardware (T420/i5-2520M@2.5GHz/8GB) completes a check of a 7-char pattern and a 3-char text string in 20-30 minutes (size includes null-termination).
+whereas 8/5 takes +8 hours:
 
 ```
 klee@780432c1aaae0:~$ clang -emit-llvm -g -c -O0 -Xclang -disable-O0-optnone re.c

Original file line number	Diff line number	Diff line change
`@@ -110,7 +110,8 @@ int main(int argc, char* argv[])`
`110`	`110`	`}`
`111`	`111`	```
`112`	`112`
`113`		`-My modest hardware (T420/i5-2520M@2.5GHz/8GB) completes a check of a 7-char pattern and a 3-char text string in 20-30 minutes (size includes null-termination):`
	`113`	`+My modest hardware (T420/i5-2520M@2.5GHz/8GB) completes a check of a 7-char pattern and a 3-char text string in 20-30 minutes (size includes null-termination).`
	`114`	`+whereas 8/5 takes +8 hours:`
`114`	`115`
`115`	`116`	```
`116`	`117`	`klee@780432c1aaae0:~$ clang -emit-llvm -g -c -O0 -Xclang -disable-O0-optnone re.c`