update test with new status result

This is a fixup for be75859, updating the
expected output to match the new status results.

Author: kroening

regression/ebmc/p-command-line-option/p-command-line-option1.desc

@@ -3,6 +3,6 @@ p-command-line-option1.v
 --bound 1 -p "some_value >= 1"
 ^EXIT=0$
 ^SIGNAL=0$
-^\[command-line assertion\] always main\.some_value >= 1: SUCCESS$
+^\[command-line assertion\] always main\.some_value >= 1: PROVED up to bound 1$
 --
 ^warning: ignoring