Adjusting CPU time for Windows platform

diff --git a/tests/bugs/modalg_1/bug19793_2 b/tests/bugs/modalg_1/bug19793_2
index 81c13639d6411ade908f9d2c563e8709bd6f9ee1..6bf6819e3c53082548297388d200c9fd58098754 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 1cc62f99239625035a3a40a25a3d3866110d8299..8d9f4d2ef1d539e39a9405a9198d91466534c644 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
   }