sort value-set output

jezhiggins · jezhiggins · commit f25f070dd6e5 · 2021-01-30T11:25:44.000Z
value=-set ordering is unstable in the face of code changes, which made
tests fragile. Sorting output fixes that and is also easier on the human
eye too.

We're sorting string representations, so the output isn't a true
numerical sort but it's good enough.
diff --git a/regression/goto-analyzer/ternary-operator-value-sets/test.desc b/regression/goto-analyzer/ternary-operator-value-sets/test.desc
@@ -3,10 +3,10 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::b1 \(\) -> value-set-begin: TRUE, :value-set-end
-main::1::b2 \(\) -> value-set-begin: FALSE, :value-set-end
-main::1::b3 \(\) -> value-set-begin: FALSE, TRUE, :value-set-end
-main::1::i \(\) -> value-set-begin: 10, :value-set-end
-main::1::j \(\) -> value-set-begin: 20, :value-set-end
-main::1::k \(\) -> value-set-begin: 10, 20, :value-set-end
+main::1::b1 \(\) -> value-set-begin: TRUE :value-set-end
+main::1::b2 \(\) -> value-set-begin: FALSE :value-set-end
+main::1::b3 \(\) -> value-set-begin: TRUE, FALSE :value-set-end
+main::1::i \(\) -> value-set-begin: 10 :value-set-end
+main::1::j \(\) -> value-set-begin: 20 :value-set-end
+main::1::k \(\) -> value-set-begin: 10, 20 :value-set-end
 --
diff --git a/regression/goto-analyzer/value-set-addition-01/main.c b/regression/goto-analyzer/value-set-addition-01/main.c
@@ -1,4 +1,5 @@
-int main(int argc, char argv[]) {
+int main(int argc, char argv[]) 
+{
   int p = 1;
 
   int q = p + 2;
diff --git a/regression/goto-analyzer/value-set-addition-01/test.desc b/regression/goto-analyzer/value-set-addition-01/test.desc
@@ -3,6 +3,6 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::p .* value-set-begin: 1, :value-set-end
-main::1::q .* value-set-begin: 3, :value-set-end
+main::1::p .* value-set-begin: 1 :value-set-end
+main::1::q .* value-set-begin: 3 :value-set-end
 --
diff --git a/regression/goto-analyzer/value-set-addition-02/main.c b/regression/goto-analyzer/value-set-addition-02/main.c
@@ -1,4 +1,5 @@
-int main(int argc, char argv[]) {
+int main(int argc, char argv[]) 
+{
   int p = 2;
   int q = 3;
 
diff --git a/regression/goto-analyzer/value-set-addition-02/test.desc b/regression/goto-analyzer/value-set-addition-02/test.desc
@@ -3,7 +3,7 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::p .* value-set-begin: 2, :value-set-end
-main::1::q .* value-set-begin: 3, :value-set-end
-main::1::t .* value-set-begin: 5, :value-set-end
+main::1::p .* value-set-begin: 2 :value-set-end
+main::1::q .* value-set-begin: 3 :value-set-end
+main::1::t .* value-set-begin: 5 :value-set-end
 --
diff --git a/regression/goto-analyzer/value-set-addition-03/main.c b/regression/goto-analyzer/value-set-addition-03/main.c
@@ -1,6 +1,7 @@
 int unknown();
 
-int main(int argc, char argv[]) {
+int main(int argc, char argv[]) 
+{
   int p = 2;
 
   if (unknown())
diff --git a/regression/goto-analyzer/value-set-addition-03/test.desc b/regression/goto-analyzer/value-set-addition-03/test.desc
@@ -3,5 +3,5 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::p .* value-set-begin: 4, 5, :value-set-end
+main::1::p .* value-set-begin: 4, 5 :value-set-end
 --
diff --git a/regression/goto-analyzer/value-set-addition-04/main.c b/regression/goto-analyzer/value-set-addition-04/main.c
@@ -1,6 +1,7 @@
 int unknown();
 
-int main(int argc, char argv[]) {
+int main(int argc, char argv[]) 
+{
   int p = 2;
   int q = 3;
 
diff --git a/regression/goto-analyzer/value-set-addition-04/test.desc b/regression/goto-analyzer/value-set-addition-04/test.desc
@@ -3,8 +3,8 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::p .* value-set-begin: 2, :value-set-end
-main::1::q .* value-set-begin: 3, :value-set-end
-main::1::p .* value-set-begin: 4, 5, :value-set-end
-main::1::t .* value-set-begin: 7, 8, :value-set-end
+main::1::p .* value-set-begin: 2 :value-set-end
+main::1::q .* value-set-begin: 3 :value-set-end
+main::1::p .* value-set-begin: 4, 5 :value-set-end
+main::1::t .* value-set-begin: 7, 8 :value-set-end
 --
diff --git a/regression/goto-analyzer/value-set-addition-05/test.desc b/regression/goto-analyzer/value-set-addition-05/test.desc
@@ -3,7 +3,7 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::p .* value-set-begin: 2, 3, :value-set-end
-main::1::q .* value-set-begin: 5, 10, :value-set-end
-main::1::t .* value-set-begin: 7, 12, 8, 13, :value-set-end
+main::1::p .* value-set-begin: 2, 3 :value-set-end
+main::1::q .* value-set-begin: 5, 10 :value-set-end
+main::1::t .* value-set-begin: 7, 8, 12, 13 :value-set-end
 --
diff --git a/regression/goto-analyzer/value-set-addition-06/main.c b/regression/goto-analyzer/value-set-addition-06/main.c
@@ -1,14 +1,18 @@
 int unknown();
 
-int main(int argc, char argv[]) {
+int main(int argc, char argv[]) 
+{
   int p;
   int q;
   int r = 20;
 
-  if (unknown()) {
+  if (unknown()) 
+  {
     p = 2;
     q = 5;
-  } else {
+  } 
+  else 
+  {
     p = 3;
     q = 10;
   }
diff --git a/regression/goto-analyzer/value-set-addition-06/test.desc b/regression/goto-analyzer/value-set-addition-06/test.desc
@@ -3,7 +3,7 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::p .* value-set-begin: 2, 3, :value-set-end
-main::1::q .* value-set-begin: 5, 10, :value-set-end
-main::1::t .* value-set-begin: 27, 32, 28, 33, :value-set-end
+main::1::p .* value-set-begin: 2, 3 :value-set-end
+main::1::q .* value-set-begin: 5, 10 :value-set-end
+main::1::t .* value-set-begin: 27, 28, 32, 33 :value-set-end
 --
diff --git a/regression/goto-analyzer/value-set-addition-07/main.c b/regression/goto-analyzer/value-set-addition-07/main.c
@@ -1,6 +1,7 @@
 int unknown();
 
-int main(int argc, char argv[]) {
+int main(int argc, char argv[]) 
+{
   int p;
   int q;
   int r = 20;
diff --git a/regression/goto-analyzer/value-set-addition-07/test.desc b/regression/goto-analyzer/value-set-addition-07/test.desc
@@ -3,8 +3,8 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::p .* value-set-begin: 2, 3, :value-set-end
-main::1::q .* value-set-begin: 5, 10, :value-set-end
-main::1::r .* value-set-begin: 20, 30, :value-set-end
-main::1::t .* value-set-begin: 37, 32, 42, 27, 43, 28, 38, 33, :value-set-end
+main::1::p .* value-set-begin: 2, 3 :value-set-end
+main::1::q .* value-set-begin: 5, 10 :value-set-end
+main::1::r .* value-set-begin: 20, 30 :value-set-end
+main::1::t .* value-set-begin: 27, 28, 32, 33, 37, 38, 42, 43 :value-set-end
 --
diff --git a/regression/goto-analyzer/value-set-addition-08/main.c b/regression/goto-analyzer/value-set-addition-08/main.c
@@ -1,6 +1,7 @@
 int unknown();
 
-int main(int argc, char argv[]) {
+int main(int argc, char argv[]) 
+{
   int p;
   int q;
   int r = 20;;
diff --git a/regression/goto-analyzer/value-set-addition-08/test.desc b/regression/goto-analyzer/value-set-addition-08/test.desc
@@ -3,8 +3,8 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::p .* value-set-begin: 3, 2, 4, :value-set-end
-main::1::q .* value-set-begin: 5, 10, :value-set-end
-main::1::r .* value-set-begin: 20, :value-set-end
-main::1::t .* value-set-begin: 28, 27, 34, 32, 33, 29, :value-set-end
+main::1::p .* value-set-begin: 2, 3, 4 :value-set-end
+main::1::q .* value-set-begin: 5, 10 :value-set-end
+main::1::r .* value-set-begin: 20 :value-set-end
+main::1::t .* value-set-begin: 27, 28, 29, 32, 33, 34 :value-set-end
 --
diff --git a/regression/goto-analyzer/value-set-array-constant-access/test.desc b/regression/goto-analyzer/value-set-array-constant-access/test.desc
@@ -3,5 +3,5 @@ main.c
 --show --variable-sensitivity --vsd-values set-of-constants --vsd-arrays every-element
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::second_value \(\) -> value-set-begin: 2, :value-set-end
-main::1::second_value_after_write \(\) -> value-set-begin: 10, :value-set-end
+main::1::second_value \(\) -> value-set-begin: 2 :value-set-end
+main::1::second_value_after_write \(\) -> value-set-begin: 10 :value-set-end
diff --git a/regression/goto-analyzer/value-set-convert-to-interval/main.c b/regression/goto-analyzer/value-set-convert-to-interval/main.c
@@ -6,7 +6,8 @@ int main(void)
 {
   int a = 0;
   int b = 20;
-  switch (x) {
+  switch (x) 
+  {
   case 1:
     a = 1;
     b = 21;
diff --git a/regression/goto-analyzer/value-set-convert-to-interval/test.desc b/regression/goto-analyzer/value-set-convert-to-interval/test.desc
@@ -3,7 +3,7 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::a .* value-set-begin: 3, 1, 6, 0, 2, 5, 4, :value-set-end @ \[1, 12, 15, 18, 21, 24, 26\]
-main::1::b .* value-set-begin: 23, 21, 20, 22, 24, :value-set-end @ \[3, 13, 16, 19, 22\]
+main::1::a .* value-set-begin: 0, 1, 2, 3, 4, 5, 6 :value-set-end @ \[1, 12, 15, 18, 21, 24, 26\]
+main::1::b .* value-set-begin: 20, 21, 22, 23, 24 :value-set-end @ \[3, 13, 16, 19, 22\]
 main::1::c .* \[14, 1E\] @ \[30\]
---
+--
diff --git a/regression/goto-analyzer/value-set-function-pointers-arrays/test.desc b/regression/goto-analyzer/value-set-function-pointers-arrays/test.desc
@@ -3,8 +3,8 @@ main.c
 --variable-sensitivity --vsd-structs every-field --vsd-arrays every-element --vsd-pointers value-set --vsd-values set-of-constants --show --pointer-check --three-way-merge
 ^file main.c line 29 function main: replacing function pointer by 2 possible targets$
 ^file main.c line 40 function main: replacing function pointer by 2 possible targets$
-^main::1::fun1 \(\) -> value-set-begin: ptr ->\([fg]\), ptr ->\([fg]\), :value-set-end
-^main::1::fun_array3 \(\) -> \{\[0\] = value-set-begin: ptr ->\([fg]\), ptr ->\([fg]\), :value-set-end
+^main::1::fun1 \(\) -> value-set-begin: ptr ->\(f\), ptr ->\(g\) :value-set-end
+^main::1::fun_array3 \(\) -> \{\[0\] = value-set-begin: ptr ->\(f\), ptr ->\(g\) :value-set-end
 ^EXIT=0$
 ^SIGNAL=0$
 --
diff --git a/regression/goto-analyzer/value-set-function-pointers-incremented-01/test.desc b/regression/goto-analyzer/value-set-function-pointers-incremented-01/test.desc
@@ -2,7 +2,7 @@ CORE
 main.c
 --variable-sensitivity --vsd-values set-of-constants --vsd-structs every-field --vsd-arrays every-element --vsd-pointers value-set --show --pointer-check
 ^file main.c line 28 function main: replacing function pointer by 2 possible targets$
-^main::1::fun_incremented_show \(\) -> value-set-begin: TOP, :value-set-end
+^main::1::fun_incremented_show \(\) -> value-set-begin: TOP :value-set-end
 ^EXIT=0$
 ^SIGNAL=0$
 --
diff --git a/regression/goto-analyzer/value-set-function-pointers-incremented-02/test.desc b/regression/goto-analyzer/value-set-function-pointers-incremented-02/test.desc
@@ -2,7 +2,7 @@ CORE
 main.c
 --variable-sensitivity --vsd-values set-of-constants --vsd-structs every-field --vsd-arrays every-element --vsd-pointers value-set --show --pointer-check
 ^file main.c line 32 function main: replacing function pointer by 3 possible targets$
-^main::1::fun_incremented_show \(\) -> value-set-begin: TOP, ptr ->\(h\), :value-set-end
+^main::1::fun_incremented_show \(\) -> value-set-begin: TOP, ptr ->\(h\) :value-set-end
 ^EXIT=0$
 ^SIGNAL=0$
 --
diff --git a/regression/goto-analyzer/value-set-function-pointers-simple/test.desc b/regression/goto-analyzer/value-set-function-pointers-simple/test.desc
@@ -7,10 +7,10 @@ main.c
 ^file main.c line 41 function main: replacing function pointer by 2 possible targets$
 ^file main.c line 49 function main: replacing function pointer by 2 possible targets$
 ^main::1::fun0 \(\) -> TOP
-^main::1::fun1 \(\) -> value-set-begin: ptr ->\(f\), :value-set-end
-^main::1::fun2_show \(\) -> value-set-begin: (TOP, )?ptr ->\([fg]\), (TOP, )?ptr ->\([fg]\), (TOP, )?:value-set-end
-^main::1::fun3_show \(\) -> value-set-begin: ptr ->\([fg]\), ptr ->\([fg]\), :value-set-end
-^fun_global_show \(\) -> value-set-begin: (TOP, )?ptr ->\([fg]\), (TOP, )?ptr ->\([fg]\), (TOP, )?:value-set-end
+^main::1::fun1 \(\) -> value-set-begin: ptr ->\(f\) :value-set-end
+^main::1::fun2_show \(\) -> value-set-begin: ptr ->\(f\), ptr ->\(g\) :value-set-end
+^main::1::fun3_show \(\) -> value-set-begin: ptr ->\(f\), ptr ->\(g\) :value-set-end
+^fun_global_show \(\) -> value-set-begin: ptr ->\(f\), ptr ->\(g\) :value-set-end
 ^EXIT=0$
 ^SIGNAL=0$
 --
diff --git a/regression/goto-analyzer/value-set-function-pointers-structs/test.desc b/regression/goto-analyzer/value-set-function-pointers-structs/test.desc
@@ -4,9 +4,9 @@ main.c
 ^file main.c line 38 function main: replacing function pointer by 2 possible targets$
 ^file main.c line 46 function main: replacing function pointer by 2 possible targets$
 ^file main.c line 54 function main: replacing function pointer by 2 possible targets$
-^main::1::fun1 \(\) -> value-set-begin: ptr ->\([fg]\), ptr ->\([fg]\), :value-set-end
-^main::1::s2 \(\) -> \{\.fptr=value-set-begin: ptr ->\([fg]\), ptr ->\([fg]\), :value-set-end @ \[23, 25\]} @ \[23, 25\]
-^main::1::fun2 \(\) -> value-set-begin: ptr ->\(g\), :value-set-end
+^main::1::fun1 \(\) -> value-set-begin: ptr ->\(f\), ptr ->\(g\) :value-set-end
+^main::1::s2 \(\) -> \{\.fptr=value-set-begin: ptr ->\(f\), ptr ->\(g\) :value-set-end @ \[23, 25\]} @ \[23, 25\]
+^main::1::fun2 \(\) -> value-set-begin: ptr ->\(g\) :value-set-end
 ^EXIT=0$
 ^SIGNAL=0$
 --
diff --git a/regression/goto-analyzer/value-set-simple/test_show.desc b/regression/goto-analyzer/value-set-simple/test_show.desc
@@ -1,9 +1,9 @@
 CORE
 main.c
 --variable-sensitivity --vsd-values set-of-constants --vsd-structs every-field --vsd-arrays every-element --vsd-pointers value-set --show --pointer-check
-^global_int_show \(\) -> value-set-begin: [12], [12], :value-set-end
-^main::1::local_double_show \(\) -> value-set-begin: [12]\.0, [12]\.0, :value-set-end
-^main::1::local_double_ptr_show \(\) -> value-set-begin: ptr ->\(main::1::d[12]\), ptr ->\(main::1::d[12]\), :value-set-end
+^global_int_show \(\) -> value-set-begin: 1, 2 :value-set-end
+^main::1::local_double_show \(\) -> value-set-begin: 1\.0, 2\.0 :value-set-end
+^main::1::local_double_ptr_show \(\) -> value-set-begin: ptr ->\(main::1::d1\), ptr ->\(main::1::d2\) :value-set-end
 ^EXIT=0$
 ^SIGNAL=0$
 --
diff --git a/regression/goto-analyzer/value-set-structs/test_show.desc b/regression/goto-analyzer/value-set-structs/test_show.desc
@@ -2,8 +2,8 @@ CORE
 main.c
 --variable-sensitivity --vsd-values set-of-constants --vsd-structs every-field --vsd-arrays every-element --vsd-pointers value-set --show --pointer-check
 activate-multi-line-match
-main::1::s_show \(\) -> \{\.d=value-set-begin: [12]\.0, [12]\.0, :value-set-end @ \[16\], \.str=\{\[0\] = value-set-begin: '[xy]', '[xy]', :value-set-end @ \[16\]\n\[1\] = value-set-begin: '\\n', :value-set-end
-main::1::u_show \(\) -> \{\.d=value-set-begin: [123]\.0, [123].0, [123]\.0, :value-set-end @ \[49\], \.str=\{\[0\] = value-set-begin: '[xyz]', '[xyz]', '[xyz]', :value-set-end @ \[49\]\n\[1\] = value-set-begin: '\\n', :value-set-end @ \[49\]\n} @ \[49\]} @ \[49\]
+main::1::s_show \(\) -> \{\.d=value-set-begin: 1\.0, 2\.0 :value-set-end @ \[16\], \.str=\{\[0\] = value-set-begin: 'x', 'y' :value-set-end @ \[16\]\n\[1\] = value-set-begin: '\\n' :value-set-end
+main::1::u_show \(\) -> \{\.d=value-set-begin: 1\.0, 2.0, 3\.0 :value-set-end @ \[49\], \.str=\{\[0\] = value-set-begin: 'x', 'y', 'z' :value-set-end @ \[49\]\n\[1\] = value-set-begin: '\\n' :value-set-end @ \[49\]\n} @ \[49\]} @ \[49\]
 ^EXIT=0$
 ^SIGNAL=0$
 --
diff --git a/regression/goto-analyzer/value-set-unary-minus-01/test.desc b/regression/goto-analyzer/value-set-unary-minus-01/test.desc
@@ -3,6 +3,6 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::p .* value-set-begin: 1, :value-set-end
-main::1::q .* value-set-begin: -1, :value-set-end
+main::1::p .* value-set-begin: 1 :value-set-end
+main::1::q .* value-set-begin: -1 :value-set-end
 --
diff --git a/regression/goto-analyzer/value-set-unary-minus-02/main.c b/regression/goto-analyzer/value-set-unary-minus-02/main.c
@@ -0,0 +1,19 @@
+int main(int argc, char argv[]) {
+  int unknown;
+  int p;
+
+  switch (unknown)
+  {
+  case 0:
+    p = 0;
+    break;
+  case 1:
+    p = 1;
+    break;
+  default:
+    p = -1;
+    break;
+  }
+
+  int q = -p;
+}
diff --git a/regression/goto-analyzer/value-set-unary-minus-02/test.desc b/regression/goto-analyzer/value-set-unary-minus-02/test.desc
@@ -0,0 +1,8 @@
+CORE
+main.c
+--variable-sensitivity --vsd-values set-of-constants --show
+^EXIT=0$
+^SIGNAL=0$
+main::1::p .* value-set-begin: 0, 1, -1 :value-set-end
+main::1::q .* value-set-begin: 0, 1, -1 :value-set-end
+--
diff --git a/regression/goto-analyzer/value-set-unary-not-01/main.c b/regression/goto-analyzer/value-set-unary-not-01/main.c
@@ -1,4 +1,5 @@
-int main(int argc, char argv[]) {
+int main(int argc, char argv[])
+{
   int p = 1;
 
   int q = !p;
diff --git a/regression/goto-analyzer/value-set-unary-not-01/test.desc b/regression/goto-analyzer/value-set-unary-not-01/test.desc
@@ -3,6 +3,6 @@ main.c
 --variable-sensitivity --vsd-values set-of-constants --show
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::p .* value-set-begin: 1, :value-set-end
-main::1::q .* value-set-begin: 0, :value-set-end
+main::1::p .* value-set-begin: 1 :value-set-end
+main::1::q .* value-set-begin: 0 :value-set-end
 --
diff --git a/regression/goto-analyzer/value-set-unary-not-02/main.c b/regression/goto-analyzer/value-set-unary-not-02/main.c
@@ -0,0 +1,20 @@
+int main(int argc, char argv[])
+{
+  int unknown;
+  int p;
+
+  switch (unknown)
+  {
+  case 0:
+    p = 0;
+    break;
+  case 1:
+    p = 1;
+    break;
+  default:
+    p = -1;
+    break;
+  }
+
+  int q = !p;
+}
diff --git a/regression/goto-analyzer/value-set-unary-not-02/test.desc b/regression/goto-analyzer/value-set-unary-not-02/test.desc
@@ -0,0 +1,8 @@
+CORE
+main.c
+--variable-sensitivity --vsd-values set-of-constants --show
+^EXIT=0$
+^SIGNAL=0$
+main::1::p .* value-set-begin: 0, 1, -1 :value-set-end
+main::1::q .* value-set-begin: 0, 1 :value-set-end
+--
diff --git a/regression/goto-analyzer/variable-sensitivity-array-value-set-access-02/main.c b/regression/goto-analyzer/variable-sensitivity-array-value-set-access-02/main.c
@@ -1,6 +1,7 @@
 int unknown();
 
-int main(int argc, char argv[]) {
+int main(int argc, char argv[])
+{
   int array[2] = { 1, 2 };
   int p;
 
diff --git a/regression/goto-analyzer/variable-sensitivity-array-value-set-access-02/test.desc b/regression/goto-analyzer/variable-sensitivity-array-value-set-access-02/test.desc
@@ -3,5 +3,5 @@ main.c
 --show --variable-sensitivity --vsd-values set-of-constants --vsd-arrays every-element
 ^EXIT=0$
 ^SIGNAL=0$
-main::1::t \(\) -> value-set-begin: 3, 2, 1, :value-set-end
-main::1::p \(\) -> value-set-begin: 0, 1, :value-set-end
+main::1::t \(\) -> value-set-begin: 1, 2, 3 :value-set-end
+main::1::p \(\) -> value-set-begin: 0, 1 :value-set-end
diff --git a/regression/goto-analyzer/variable-sensitivity-array-value-set-access/test.desc b/regression/goto-analyzer/variable-sensitivity-array-value-set-access/test.desc
diff --git a/src/analyses/variable-sensitivity/value_set_abstract_object.cpp b/src/analyses/variable-sensitivity/value_set_abstract_object.cpp
