Merge pull request #5631 from jezhiggins/variable-sensitivity-option-passing

Variable sensitivity option passing

Author: martin-cs

regression/goto-analyzer/constant_propagation_08/test-vsd.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---variable-sensitivity --vsd-arrays --simplify out.gb
+--variable-sensitivity --vsd-arrays every-element --simplify out.gb
 ^EXIT=0$
 ^SIGNAL=0$
 ^Simplified:  assert: 1, assume: 0, goto: 2, assigns: 8, function calls: 0$

regression/goto-analyzer/constant_propagation_09/test-vsd.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---variable-sensitivity --vsd-arrays --verify
+--variable-sensitivity --vsd-arrays every-element --verify
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] line \d+ a\[0\]==0: FAILURE \(if reachable\)$

regression/goto-analyzer/constant_propagation_10/test-vsd.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---variable-sensitivity --vsd-arrays --verify
+--variable-sensitivity --vsd-arrays every-element --verify
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main\.assertion\.1\] line 10 a\[0\]==2: FAILURE \(if reachable\)$

regression/goto-analyzer/constant_propagation_11/test-vsd.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---variable-sensitivity --vsd-arrays --simplify out.gb
+--variable-sensitivity --vsd-arrays every-element --simplify out.gb
 ^EXIT=0$
 ^SIGNAL=0$
 ^Simplified:  assert: 1, assume: 0, goto: 1, assigns: 8, function calls: 0$

regression/goto-analyzer/constant_propagation_14/test-vsd.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---variable-sensitivity --vsd-arrays --verify
+--variable-sensitivity --vsd-arrays every-element --verify
 ^EXIT=0$
 ^SIGNAL=0$
 \[main\.assertion\.1\] .* a\[0\]==1 || a\[0\]==2: SUCCESS$

regression/goto-analyzer/constant_propagation_15/test-vsd.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---variable-sensitivity --vsd-arrays --verify
+--variable-sensitivity --vsd-arrays every-element --verify
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main\.assertion\.1\] .* a\[0\]==2: FAILURE \(if reachable\)$

regression/goto-analyzer/constant_propagation_18/test-vsd.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---variable-sensitivity --verify --vsd-pointers
+--variable-sensitivity --verify --vsd-pointers constants
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] line 7 assertion \*p == 1: SUCCESS$

regression/goto-analyzer/constant_propagation_19/test-vsd.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---variable-sensitivity --verify --vsd-pointers
+--variable-sensitivity --verify --vsd-pointers constants
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] line 8 assertion x == 42: SUCCESS$

regression/goto-analyzer/minimal-reproducer-for-struct-problem/test.desc

@@ -1,6 +1,6 @@
 CORE
 minimal_reproducer_for_struct_problem.c
---variable-sensitivity --vsd-structs --verify
+--variable-sensitivity --vsd-structs every-field --verify
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main.assertion.1\] line 13 x.a==0: SUCCESS$

regression/goto-analyzer/sensitivity-function-call-array/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
---variable-sensitivity --vsd-pointers --vsd-arrays --vsd-structs --verify
+--variable-sensitivity --vsd-pointers constants --vsd-arrays every-element --vsd-structs every-field --verify
 ^EXIT=0$
 ^SIGNAL=0$
 ^\[main\.assertion\.1\] line \d+ assertion \*arr_y == 2: SUCCESS$