Tests report more data to teamcity.

run_test.pl

@@ -37,6 +37,27 @@ while (my $line = shift(@results)) {
   if ($line =~ s/Result of verification is //) {
     $tested = $line;
   }
+  # report some stats to teamcity
+  if ($line =~ s/^discrete states://) {
+    my @splitline = split(' ',$line);
+    print "##teamcity[buildStatisticValue key='discrete states' value='$splitline[0]']\n";
+  }
+  if ($line =~ s/^states seen://) {
+    my @splitline = split(' ',$line);
+    print "##teamcity[buildStatisticValue key='states seen' value='$splitline[0]']\n";
+  }
+  if ($line =~ s/^states explored://) {
+    my @splitline = split(' ',$line);
+    print "##teamcity[buildStatisticValue key='states explored' value='$splitline[0]']\n";
+  }
+  if ($line =~ s/^incl tests://) {
+    my @splitline = split(' ',$line);
+    print "##teamcity[buildStatisticValue key='inclusion tests' value='$splitline[0]']\n";
+  }
+  if ($line =~ s/^pos\. incl tests://) {
+    my @splitline = split(' ',$line);
+    print "##teamcity[buildStatisticValue key='successful inclusion tests' value='$splitline[0]']\n";
+  }
 }
 
 # retrieve the exit value of the test