Fix missing signal messages for regtest

Author: GJDuck

test/regtest/exec.sh

@@ -0,0 +1,21 @@
+#!/bin/bash
+# 
+# Copyright (C) National University of Singapore
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+# 
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+# 
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+  
+trap '' SIGILL SIGTRAP SIGSEGV
+ulimit -c 0
+"$@"
+

test/regtest/regtest.cpp

@@ -112,6 +112,7 @@ static bool runTest(const struct dirent *test, const std::string &options)
     // Step (2): execute the EXE
     FILE *CMD = fopen(cmd.c_str(), "r");
     command.clear();
+    command += "./exec.sh ";
     if (CMD != NULL)
     {
         for (int i = 0; (c = getc(CMD)) != '\n' && isprint(c) && i < 1024; i++)
@@ -137,10 +138,6 @@ static bool runTest(const struct dirent *test, const std::string &options)
             r, out.c_str());
         return false;
     }
-    command.clear();
-    command = "sed -i 's/ (core dumped)//g' ";
-    command += out;
-    system(command.c_str());
 
     // Step (3): compare the output
     FILE *OUT = fopen(out.c_str(), "r");