Adjusting CPU time for Windows platform

diff --git a/tests/bugs/modalg_1/bug19793_2 b/tests/bugs/modalg_1/bug19793_2
index 81c1363..6bf6819 100755 (executable)
--- a/tests/bugs/modalg_1/bug19793_2
+++ b/tests/bugs/modalg_1/bug19793_2
@@ -60,14 +60,14 @@ if { [regexp {Debug mode} [dversion]] } {
   if { [regexp {Windows} [dversion]] } {
     puts "Checking WINDOWS performance..."
     # Initial CPU_time is 92-94 seconds for Windows
-    if {$CPU_time > 200.} {
+    if {$CPU_time > 300.} {
        puts "ERROR: OCC23753 is reproduced."
        puts "       Low performance: $CPU_time"
     }
   } else {
     puts "Checking LINUX performance..."
     # Initial CPU_time is 287-289 seconds for Linux
-    if {$CPU_time > 250.} {
+    if {$CPU_time > 350.} {
        puts "ERROR: OCC23753 is reproduced."
        puts "       Low performance: $CPU_time"
     }

diff --git a/tests/bugs/modalg_5/bug24696 b/tests/bugs/modalg_5/bug24696
index 1cc62f9..8d9f4d2 100644 (file)
--- a/tests/bugs/modalg_5/bug24696
+++ b/tests/bugs/modalg_5/bug24696
@@ -36,7 +36,7 @@ if { [regexp {Debug mode} [dversion]] } {
   }
 } else {
   if { [regexp {Windows} [dversion]] } {
-    set max_time 20.0
+    set max_time 25.0
   } else {
     set max_time 40.0
   }