Update WAR file regression test

Matthias Güdemann · Matthias Güdemann · commit 4f42f7f049c6 · 2017-08-24T15:03:09.000+02:00
diff --git a/regression/cbmc-java/war-file1/test.desc b/regression/cbmc-java/war-file1/test.desc
@@ -1,8 +1,9 @@
 CORE
 sample.war
---function mypackage.Hello.doGet
+--function mypackage.Hello.doGet --cover location
 ^EXIT=0$
 ^SIGNAL=0$
-^VERIFICATION SUCCESSFUL
+\*\* 25 of 26 covered
 --
-^warning: ignoring
+--
+war file source https://tomcat.apache.org/tomcat-6.0-doc/appdev/sample/
