From a39fff8b44ac30aa2968b1d5de0f47b2e88b9a3b Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Sun, 18 Feb 2018 17:42:32 +0000 Subject: [PATCH] remove iteration count from test result --- regression/cbmc/Quantifiers-copy/test.desc | 2 +- regression/cbmc/Quantifiers-initialisation/test.desc | 2 +- regression/cbmc/Quantifiers-invalid-var-range/test.desc | 2 +- regression/cbmc/Quantifiers-not-exists/test.desc | 2 +- regression/cbmc/Quantifiers-two-dimension-array/test.desc | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/regression/cbmc/Quantifiers-copy/test.desc b/regression/cbmc/Quantifiers-copy/test.desc index 993061a5b3a..8e25d406497 100644 --- a/regression/cbmc/Quantifiers-copy/test.desc +++ b/regression/cbmc/Quantifiers-copy/test.desc @@ -7,5 +7,5 @@ main.c ^\[main.assertion.3\] assertion b\[.*\] == 2: SUCCESS$ ^\[main.assertion.4\] assertion b\[.*\] == 3: SUCCESS$ ^\[main.assertion.5\] assertion b\[.*\] == 4: SUCCESS$ -^\*\* 0 of 5 failed \(1 iteration\)$ +^\*\* 0 of 5 failed ^VERIFICATION SUCCESSFUL$ diff --git a/regression/cbmc/Quantifiers-initialisation/test.desc b/regression/cbmc/Quantifiers-initialisation/test.desc index d0e4c279e1f..9ef836b08b1 100644 --- a/regression/cbmc/Quantifiers-initialisation/test.desc +++ b/regression/cbmc/Quantifiers-initialisation/test.desc @@ -7,5 +7,5 @@ main.c ^\[main.assertion.3\] assertion a\[.*\] == 3: SUCCESS$ ^\[main.assertion.4\] assertion a\[.*\] == 4: SUCCESS$ ^\[main.assertion.5\] assertion a\[.*\] == 5: SUCCESS$ -^\*\* 0 of 5 failed \(1 iteration\)$ +^\*\* 0 of 5 failed ^VERIFICATION SUCCESSFUL$ diff --git a/regression/cbmc/Quantifiers-invalid-var-range/test.desc b/regression/cbmc/Quantifiers-invalid-var-range/test.desc index a3e1bce313f..a3da377cadf 100644 --- a/regression/cbmc/Quantifiers-invalid-var-range/test.desc +++ b/regression/cbmc/Quantifiers-invalid-var-range/test.desc @@ -2,5 +2,5 @@ CORE main.c ^\*\* Results:$ -^\*\* 0 of 1 failed \(1 iteration\)$ +^\*\* 0 of 1 failed ^VERIFICATION SUCCESSFUL$ diff --git a/regression/cbmc/Quantifiers-not-exists/test.desc b/regression/cbmc/Quantifiers-not-exists/test.desc index 63ff98c10ad..30634de97cb 100644 --- a/regression/cbmc/Quantifiers-not-exists/test.desc +++ b/regression/cbmc/Quantifiers-not-exists/test.desc @@ -8,5 +8,5 @@ main.c ^\[main.assertion.4\] assertion tmp_if_expr\$9: SUCCESS$ ^\[main.assertion.5\] assertion tmp_if_expr\$12: SUCCESS$ ^\[main.assertion.6\] assertion tmp_if_expr\$15: SUCCESS$ -^\*\* 0 of 6 failed \(1 iteration\)$ +^\*\* 0 of 6 failed ^VERIFICATION SUCCESSFUL$ diff --git a/regression/cbmc/Quantifiers-two-dimension-array/test.desc b/regression/cbmc/Quantifiers-two-dimension-array/test.desc index b8501be880e..755c40a10df 100644 --- a/regression/cbmc/Quantifiers-two-dimension-array/test.desc +++ b/regression/cbmc/Quantifiers-two-dimension-array/test.desc @@ -7,5 +7,5 @@ main.c ^\[main.assertion.3\] assertion a\[.*\]\[.*\] == 1: SUCCESS$ ^\[main.assertion.4\] assertion a\[.*\]\[.*\] == 2: SUCCESS$ ^\[main.assertion.5\] assertion tmp_if_expr\$3: SUCCESS$ -^\*\* 0 of 5 failed \(1 iteration\)$ +^\*\* 0 of 5 failed ^VERIFICATION SUCCESSFUL$