Merge pull request #1208 from diffblue/fix-regression-test

Fixup regression test after merging #1115

Author: kroening

regression/smv/expressions/smv_union1.desc

@@ -1,7 +1,7 @@
 CORE broken-smt-backend
 smv_union1.smv
 
-^\[spec1\] x != 3: PROVED \(CT=1\)$
+^\[spec1\] x != 3: PROVED \(CT=0\)$
 ^\[spec2\] x != 2: REFUTED$
 ^EXIT=10$
 ^SIGNAL=0$