Merge pull request #7590 from tautschnig/bugfixes/time-pattern

Tests: Fix decision-procedure-runtime pattern

Author: kroening

regression/cbmc/Failing_Assert1/dimacs.desc

@@ -1,7 +1,7 @@
 CORE
 main.c
 --dimacs
-^Runtime decision procedure: [0-9]+(\.[0-9]+(e-[0-9]+)?)?s$
+^Runtime decision procedure: [0-9]+(\.[0-9]+)?(e-[0-9]+)?s$
 ^c main::1::i!0@1#1
 ^c main::1::j!0@1#1
 ^EXIT=0$

regression/cbmc/Failing_Assert1/test.desc

@@ -4,6 +4,6 @@ main.c
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
-^Runtime decision procedure: [0-9]+(\.[0-9]+(e-[0-9]+)?)?s$
+^Runtime decision procedure: [0-9]+(\.[0-9]+)?(e-[0-9]+)?s$
 --
 ^warning: ignoring