Changeset a7bb142 in git

Timestamp:

Sep 22, 2011, 8:41:47 PM (13 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc741b6502fd8a97288eaa3eba6e5220f3c3df87')

Children:

8940570905a602941da734a473ebc2ff0bd9238d

Parents:

5ff885162d38fce9782dd8498f084c9021c200a6

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-09-22 20:41:47+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:12:52+01:00

Message:

ADD: add test execution timeout argument for regress.cmd (-A secs)

File:

• Tst/regress.cmd (modified) (4 diffs)

Tst/regress.cmd

@@ -28 +28 @@
   [-m]              -- add status result for current version to result file
   [-t]              -- compute and call system("mtrack", 1) at the end, no diffs
+  [-A num]          -- set timeout [in sec.] for executed Singular
   [-tt max]         -- compute and call system("mtrack", max) at the end
   [-T]              -- simply compute and determine timmings, no diffs
@@ -115 +116 @@
   $singular = $curr_dir."/../Singular$ext";
 }
+# timeout for Singular execution (in seconds!)
+$timeout  = 0;
 # sed scripts which are applied to res files before they are diff'ed
 $sed_scripts = "-e '/used time:/d' -e '/tst_ignore:/d' -e '/Id[:\$]/d' -e '/error occurred in/d' -e '/tst_status/d' -e'/init >>/d' -e 's/\\[[0-9]*:[0-9]*\\]//g'";
@@ -589 +592 @@
     $mtrack = shift;
   }
+  elsif (/^-A/)
+  {
+    $timeout = shift;
+  }
   elsif(/^-t$/)
   {
@@ -718 +725 @@
 
 
+if ($timeout > 0)
+{
+  $singular = "perl -e 'alarm $timeout; exec \@ARGV' $singular";
+  print ("Set exec timeout to $timeout sec.\n") if ($verbosity > 1);
+  # die;
+}
 # now do the work
 foreach (@ARGV)