ci: bump vtest retry to 6 for channel_select_test.v (fails sporadically in the windows-gcc job)

master
Delyan Angelov 2022-04-23 15:36:19 +03:00
parent 365e7d6b34
commit 3388caa6c5
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
1 changed files with 6 additions and 8 deletions

View File

@ -1,13 +1,11 @@
/*
* ATTENTION! Do not use this file as an example!
* For that, please look at `channel_select_2_test.v` or `channel_select_3_test.v`
*
* This test case uses the implementation in `sync/channels.v` directly
* in order to test it independently from the support in the core language
*/
module sync
// vtest retry: 6
// ATTENTION! Do not use this file as an example!
// For that, please look at `channel_select_2_test.v` or `channel_select_3_test.v`
// This test case uses the implementation in `sync/channels.v` directly
// in order to test it independently from the support in the core language
import time
fn do_rec_i64(mut ch Channel) {