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

@@ -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: