Changeset 46976a6 in git for Tst/regress.cmd

Timestamp:

Jul 1, 1998, 12:20:56 PM (26 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

6b8aae51b2f19300ec8b207348b208eb6b4fe6ba

Parents:

ff8a6bf7c7be4f1ec1339de2dc55a8135db95d1a

Message:

* added status check to regress.cmd
* added tst_status(1); call to each tst file, just before quit


git-svn-id: file:///usr/local/Singular/svn/trunk@2271 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

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

Tst/regress.cmd

@@ -2 +2 @@
 
 #################################################################
-# $Id: regress.cmd,v 1.18 1998-06-30 14:47:00 obachman Exp $
+# $Id: regress.cmd,v 1.19 1998-07-01 10:10:27 obachman Exp $
 # FILE:    regress.cmd 
 # PURPOSE: Script which runs regress test of Singular
@@ -91 +91 @@
 # the default settings
 #
-$singularOptions = "--ticks-per-sec=10 -teqr12345678";
+$singularOptions = "--ticks-per-sec=100 -teqr12345678";
 $keep = "no";
 $verbosity = 1;
@@ -105 +105 @@
 }
 # sed scripts which are applied to res files before they are diff'ed
-$sed_scripts = "-e '/\\/\\/.*used time:/d' -e '/\\/\\/.*ignore:/d' -e '/error occurred in/d'";
+$sed_scripts = "-e '/\\/\\/.*used time:/d' -e '/\\/\\/.*tst_ignore:/d' -e '/error occurred in/d'";
 # default value (in %) above which differences are reported on -r
 $report_val = 10;
@@ -178 +178 @@
   
   # clean up time
-#  &mysystem("$rm -f $root.res.cleaned $root.new.res.cleaned");
+  &mysystem("$rm -f $root.res.cleaned $root.new.res.cleaned");
   
   # there seems to be a bug here somewhere: even if diff reported
@@ -209 +209 @@
       $prefix = "STDIN $1>";
     }
-    elsif ($line =~ /\/\/.*ignore:(\w+).*$hostname:(\d+)/ && $checks{$1})
+    elsif ($line =~ /\/\/.*tst_ignore:(\w+).*$hostname:(\d+)/ && $checks{$1})
     {
       $crit = $1;
       $res = $2;
-      if ($line =~ /\/\/.*ignore:$crit.*$hostname:(\d+)/)
+      if ($line =~ /\/\/.*tst_ignore:$crit.*$hostname:(\d+)/)
       {
         $new_res = $1;
@@ -259 +259 @@
   while ($line)
   {
-    if ($new_line =~ /\/\/.*ignore:(\w+).*$hostname:(\d+)/ && $merge{$1})
+    if ($new_line =~ /\/\/.*tst_ignore:(\w+).*$hostname:(\d+)/ && $merge{$1})
     {
       $crit = $1;
       $new_res = $2;
-      if ($line =~ /(.*)\/\/(.*)ignore:$crit(.*)$hostname:(\d+)(.*)/)
+      if ($line =~ /(.*)\/\/(.*)tst_ignore:$crit(.*)$hostname:(\d+)(.*)/)
       {
         print(TEMP_FILE
-              "$1//$2ignore:$crit$3$hostname:$new_res$4");
-      }
-      elsif ($line =~ /(.*)\/\/(.*)ignore:$crit(.*)/)
+              "$1//$2tst_ignore:$crit$3$hostname:$new_res$4");
+      }
+      elsif ($line =~ /(.*)\/\/(.*)tst_ignore:$crit(.*)/)
       {
         print(TEMP_FILE
-              "$1//$2ignore:$crit$3 $hostname:$new_res\n");
+              "$1//$2tst_ignore:$crit$3 $hostname:$new_res\n");
       }
       else