adds tests for profiler

prof/src/com/oracle/souffleprof/ProgramRun.java

@@ -522,9 +522,9 @@ public Object[][] formatTable(Object[][] table, int precision) {
         for (int i = 0; i < table.length; i++) {
             for (int j = 0; j < table[0].length; j++) {
                 if (table[i][j] == null) continue;
-                if (table[i][j].getClass() == Double.class) {
+                if (table[i][j] instanceof Double) {
                     new_table[i][j] = formatTime((Double)table[i][j]);
-                } else if (table[i][j].getClass() == Long.class) {
+                } else if (table[i][j] instanceof Long) {
                     new_table[i][j] = formatNum(precision, (Long)table[i][j]);
                 } else {
                     new_table[i][j] = table[i][j];

prof/src/com/oracle/souffleprof/Tui.java

@@ -127,13 +127,8 @@ public void runProf() {
                 } else {
                     loadMenu();
                 }
-            }
-
-            if (!loaded) {
                 continue;
-            }
-
-            if (c[0].equals("stop") && alive) {
+            } else if (c[0].equals("stop") && alive) {
                 live_reader.stopRead();
                 this.alive = false;
             } else if (c[0].equals("ser")) {

tests/atlocal.in

@@ -1,4 +1,5 @@
 SOUFFLE=@abs_top_builddir@/src/souffle
+SOUFFLE_PROFILE=@abs_top_builddir@/prof/souffle-profile
 TESTS=@abs_top_srcdir@/tests
 SOUFFLE_INC=@abs_top_builddir@/include
 CXX=@CXX@

tests/profile.at

@@ -0,0 +1,28 @@
+# Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
+#
+# The Universal Permissive License (UPL), Version 1.0
+#
+# Subject to the condition set forth below, permission is hereby granted to any person obtaining a copy of this software,
+# associated documentation and/or data (collectively the "Software"), free of charge and under any and all copyright rights in the 
+# Software, and any and all patent rights owned or freely licensable by each licensor hereunder covering either (i) the unmodified 
+# Software as contributed to or provided by such licensor, or (ii) the Larger Works (as defined below), to deal in both
+# 
+# (a) the Software, and
+# (b) any piece of software and/or hardware listed in the lrgrwrks.txt file if one is included with the Software (each a “Larger
+# Work” to which the Software is contributed by such licensors),
+#
+# without restriction, including without limitation the rights to copy, create derivative works of, display, perform, and 
+# distribute the Software and make, use, sell, offer for sale, import, export, have made, and have sold the Software and the 
+# Larger Work(s), and to sublicense the foregoing rights on either these or other terms.
+#
+# This license is subject to the following condition:
+# The above copyright notice and either this complete permission notice or at a minimum a reference to the UPL must be included in 
+# all copies or substantial portions of the Software.
+#
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
+# OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+# LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR
+# IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+
+PROFILE_TEST([lrg_attr_id],[profile])
+PROFILE_TEST([hmmer],[profile])