mirror of
https://git.dev.opencascade.org/repos/occt.git
synced 2025-04-10 18:51:21 +03:00
Adjusting CPU time for Windows platform
This commit is contained in:
parent
b12a3e54fc
commit
4dcc5ecb4f
@ -60,14 +60,14 @@ if { [regexp {Debug mode} [dversion]] } {
|
|||||||
if { [regexp {Windows} [dversion]] } {
|
if { [regexp {Windows} [dversion]] } {
|
||||||
puts "Checking WINDOWS performance..."
|
puts "Checking WINDOWS performance..."
|
||||||
# Initial CPU_time is 92-94 seconds for Windows
|
# Initial CPU_time is 92-94 seconds for Windows
|
||||||
if {$CPU_time > 200.} {
|
if {$CPU_time > 300.} {
|
||||||
puts "ERROR: OCC23753 is reproduced."
|
puts "ERROR: OCC23753 is reproduced."
|
||||||
puts " Low performance: $CPU_time"
|
puts " Low performance: $CPU_time"
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
puts "Checking LINUX performance..."
|
puts "Checking LINUX performance..."
|
||||||
# Initial CPU_time is 287-289 seconds for Linux
|
# Initial CPU_time is 287-289 seconds for Linux
|
||||||
if {$CPU_time > 250.} {
|
if {$CPU_time > 350.} {
|
||||||
puts "ERROR: OCC23753 is reproduced."
|
puts "ERROR: OCC23753 is reproduced."
|
||||||
puts " Low performance: $CPU_time"
|
puts " Low performance: $CPU_time"
|
||||||
}
|
}
|
||||||
|
@ -36,7 +36,7 @@ if { [regexp {Debug mode} [dversion]] } {
|
|||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
if { [regexp {Windows} [dversion]] } {
|
if { [regexp {Windows} [dversion]] } {
|
||||||
set max_time 20.0
|
set max_time 25.0
|
||||||
} else {
|
} else {
|
||||||
set max_time 40.0
|
set max_time 40.0
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user