ci: add more details for diagnosing the sporadically failing init_global_test.v

pull/8802/head^2
Delyan Angelov 2021-09-05 16:18:36 +03:00
parent f1cba44154
commit 6b55b6d417
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
1 changed files with 2 additions and 0 deletions

View File

@ -121,6 +121,7 @@ fn test_global_shared() {
} }
sem.post() sem.post()
t.wait() t.wait()
eprintln('> a: $a | b: $b')
assert (a == 13.75 && b == -35.125) || (a == -35.125 && b == 13.75) assert (a == 13.75 && b == -35.125) || (a == -35.125 && b == 13.75)
} }
@ -170,5 +171,6 @@ fn test_global_mutex() {
assert (f1 == 17.0 && f2 == 34.0625) || (f1 == 34.0625 && f2 == 17.0) assert (f1 == 17.0 && f2 == 34.0625) || (f1 == 34.0625 && f2 == 17.0)
mtx.runlock() mtx.runlock()
n := t.wait() n := t.wait()
eprintln('> n: $n | f1: $f1 | $f2: $f2')
assert n > 0 assert n > 0
} }