|
Function Name  |
TLA |
Hit count  |
<utils::seqwait::SeqWait<_, _>>::wait_for::{closure#0}::{closure#0} |
UBC |
0 |
>::wait_for::{closure#0}::{closure#0} |
UBC |
0 |
>::wait_for::{closure#0}::{closure#0} |
UBC |
0 |
<utils::seqwait::Waiter<_> as core::cmp::PartialEq>::eq |
UBC |
0 |
<utils::seqwait::SeqWaitError as core::fmt::Debug>::fmt |
CBC |
1 |
::fmt |
UBC |
0 |
::fmt |
UBC |
0 |
::eq |
CBC |
1 |
utils::seqwait::tests::seqwait |
CBC |
1 |
utils::seqwait::tests::seqwait::{closure#0}::{closure#0} |
CBC |
1 |
utils::seqwait::tests::seqwait::{closure#0}::{closure#1} |
CBC |
1 |
utils::seqwait::tests::seqwait_timeout |
CBC |
1 |
utils::seqwait::tests::seqwait_timeout::{closure#0}::{closure#0} |
CBC |
1 |
<utils::seqwait::SeqWait<_, _>>::shutdown |
CBC |
2 |
>::shutdown |
UBC |
0 |
>::shutdown |
CBC |
2 |
utils::seqwait::tests::seqwait::{closure#0} |
CBC |
2 |
utils::seqwait::tests::seqwait_timeout::{closure#0} |
CBC |
2 |
<i32 as utils::seqwait::MonotonicCounter<i32>>::cnt_advance |
CBC |
3 |
<utils::seqwait::SeqWait<_, _>>::wait_for |
CBC |
4 |
>::wait_for |
UBC |
0 |
>::wait_for |
CBC |
4 |
<utils::seqwait::SeqWait<_, _>>::wait_for::{closure#0} |
CBC |
4 |
>::wait_for::{closure#0} |
UBC |
0 |
>::wait_for::{closure#0} |
CBC |
4 |
<i32 as utils::seqwait::MonotonicCounter<i32>>::cnt_value |
CBC |
10 |
<utils::seqwait::SeqWait<_, _>>::new |
CBC |
1304 |
>::new |
UBC |
0 |
>::new |
CBC |
2 |
>::new |
CBC |
1302 |
<utils::seqwait::Waiter<_> as core::cmp::Ord>::cmp |
CBC |
90426 |
as core::cmp::Ord>::cmp |
UBC |
0 |
as core::cmp::Ord>::cmp |
CBC |
1 |
as core::cmp::Ord>::cmp |
CBC |
90425 |
<utils::seqwait::Waiter<_> as core::cmp::PartialOrd>::partial_cmp |
CBC |
90426 |
as core::cmp::PartialOrd>::partial_cmp |
UBC |
0 |
as core::cmp::PartialOrd>::partial_cmp |
CBC |
1 |
as core::cmp::PartialOrd>::partial_cmp |
CBC |
90425 |
<utils::seqwait::SeqWait<_, _>>::wait_for_timeout |
CBC |
1278622 |
>::wait_for_timeout |
UBC |
0 |
>::wait_for_timeout |
CBC |
2 |
>::wait_for_timeout |
CBC |
1278620 |
<utils::seqwait::SeqWait<_, _>>::wait_for_timeout::{closure#0} |
CBC |
1278622 |
>::wait_for_timeout::{closure#0} |
UBC |
0 |
>::wait_for_timeout::{closure#0} |
CBC |
2 |
>::wait_for_timeout::{closure#0} |
CBC |
1278620 |
<utils::seqwait::SeqWait<_, _>>::queue_for_wait |
CBC |
1278626 |
>::queue_for_wait |
UBC |
0 |
>::queue_for_wait |
CBC |
6 |
>::queue_for_wait |
CBC |
1278620 |
<utils::seqwait::SeqWait<_, _>>::advance |
CBC |
69330607 |
>::advance |
UBC |
0 |
>::advance |
CBC |
4 |
>::advance |
CBC |
69330603 |
<utils::seqwait::SeqWait<_, _>>::load |
CBC |
82268228 |
>::load |
UBC |
0 |
>::load |
CBC |
1 |
>::load |
CBC |
82268227 |