added script to run datastax benchmarks and changed test.pl to support inner class names

Author: marcelosousa

regression/run-datastax.sh

@@ -0,0 +1,13 @@
+#!/bin/bash
+test_cases=`find cbmc-java/datastax/ -name *.desc -exec dirname {} \;`
+./test.pl -c $1 ${test_cases}
+
+count=0
+for test_case in ${test_cases}; do
+  out_file=`find ${test_case} -name '*.out'`
+  if grep -q "identifier.*not found" ${out_file}; then
+    echo ${out_file}
+    count=$((${count}+1))
+  fi
+done;
+echo "Missing symbols: ${count}"

regression/test.pl

@@ -107,7 +107,7 @@ ($$$$$)
           my $r;
           $result =~ s/\\/\\\\/g;
           $result =~ s/([^\\])\$/$1\\r\\\\?\$/;
-          system("bash", "-c", "grep \$'$result' '$name/$output' >/dev/null");
+          system("bash", "-c", "grep \$'$result' \"$name/$output\" >/dev/null");
           $r = ($included ? $? != 0 : $? == 0);
           if($r) {
             print LOG "$result [FAILED]\n";