goto-analyzer: default behavior is now verification

This matches the usual use-case.

Author: Daniel Kroening

regression/goto-analyzer/intervals_01/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---intervals --verify
+--intervals
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] file main.c line 7 function main, assertion i\s*>=\s*10: SUCCESS$

regression/goto-analyzer/intervals_02/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---intervals --verify
+--intervals
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] file main.c line 5 function main, assertion x > -10 \&\& x < 100: SUCCESS$

regression/goto-analyzer/intervals_03/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---intervals --verify
+--intervals
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] file main.c line 6 function main, assertion x > -10 \|\| x < 100: SUCCESS$

regression/goto-analyzer/intervals_04/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---intervals --verify
+--intervals
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] file main.c line 8 function main, assertion i >= 1 && i <= 2: SUCCESS$

regression/goto-analyzer/intervals_05/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---intervals --verify
+--intervals
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] file main.c line 8 function main, assertion i >= 1 \|\| i <= 2: SUCCESS$

regression/goto-analyzer/intervals_06/test.desc

@@ -1,6 +1,6 @@
 FUTURE
 main.c
---intervals --verify
+--intervals
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] file main.c line 7 function main, assertion x < -10 \|\| x > 100: FAILURE \(if reachable\)$

regression/goto-analyzer/intervals_07/test.desc

@@ -1,6 +1,6 @@
 FUTURE
 main.c
---intervals --verify
+--intervals
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] file main.c line 7 function main, assertion x < -10 \&\& x > 100: FAILURE \(if reachable\)$

regression/goto-analyzer/intervals_08/test.desc

@@ -1,6 +1,6 @@
 FUTURE
 main.c
---intervals --verify
+--intervals
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] file main.c line 6 function main, assertion x < -10 \&\& x < 100: FAILURE \(if reachable\)$

regression/goto-analyzer/intervals_09/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---intervals --verify
+--intervals
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] file main.c line 8 function main, assertion i >= 1 \&\& i <= 2: SUCCESS$

regression/goto-analyzer/intervals_10/test.desc

@@ -1,6 +1,6 @@
 FUTURE
 main.c
---intervals --verify
+--intervals
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] file main.c line 8 function main, assertion j<=100: Success$