Update formal_verification.md

kokke · web-flow · commit 7df1961a2863 · 2021-02-16T08:35:26.000+01:00
diff --git a/formal_verification.md b/formal_verification.md
@@ -110,8 +110,7 @@ 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).
-whereas 8/5 takes +8 hours:
+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,8 +110,7 @@ int main(int argc, char* argv[])`
`110`	`110`	`}`
`111`	`111`	```
`112`	`112`
`113`		`-My modest hardware (T420/[email protected]/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:`
	`113`	`+My modest hardware (T420/[email protected]/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:`
`115`	`114`
`116`	`115`	```
`117`	`116`	`klee@780432c1aaae0:~$ clang -emit-llvm -g -c -O0 -Xclang -disable-O0-optnone re.c`