From a8999396873a4fc4636b67f93fba6fc3fd0c82ac Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Tue, 15 Aug 2017 07:52:09 +0000 Subject: [PATCH] prism-auto: fix broken incrementing of warning statistics typo in the key string used for the counter dict git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12205 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index b89fd71c..ef112063 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -480,10 +480,10 @@ def countTestResult(msg): if 'Error:' in msg or 'FAIL' in msg: incrementTestStat('FAILURE') elif options.ddWarnings and re.match('Warning: CUDD reports .* non-zero references', msg): - incrementTestStat('WARNINGS') - incrementTestStat('DDWARNINGS') + incrementTestStat('WARNING') + incrementTestStat('DDWARNING') elif 'Warning:' in msg: - incrementTestStat('WARNINGS') + incrementTestStat('WARNING') elif 'PASS' in msg: incrementTestStat('SUCCESS') elif 'SKIPPED' in msg or 'NOT TESTED' in msg: