wtx 0.44.3

A collection of different transport implementations and related tools focused primarily on web technologies.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

use crate::misc::Deque;
use alloc::collection::VecDeque;

#[kani::proof]
fn queue() {
  let bytes = kani::vec::any_vec::<u8, 128>();
  let mut queue = Deque::with_capacity(bytes.len()).unwrap();
  let mut vec_deque = VecDeque::with_capacity(bytes.len());

  for byte in bytes.iter().copied() {
    queue.push_front(byte).unwrap();
    vec_deque.push_front(byte);
  }
  assert_eq!((queue.capacity(), queue.len()), (vec_deque.capacity(), vec_deque.len()));
  for _ in 0..(bytes.len() / 2) {
    assert_eq!(queue.as_slices(), vec_deque.as_slices());
    assert_eq!(queue.get(0), vec_deque.get(0));
    assert_eq!(queue.get_mut(0), vec_deque.get_mut(0));
    assert_eq!(queue.pop_back(), vec_deque.pop_back());
    assert_eq!(queue.as_slices(), vec_deque.as_slices());
    assert_eq!(queue.get(0), vec_deque.get(0));
    assert_eq!(queue.get_mut(0), vec_deque.get_mut(0));
    assert_eq!(queue.pop_front(), vec_deque.pop_front());
  }
  loop {
    if queue.len() == 0 {
      break;
    }
    assert_eq!(queue.as_slices(), vec_deque.as_slices());
    assert_eq!(queue.get(0), vec_deque.get(0));
    assert_eq!(queue.get_mut(0), vec_deque.get_mut(0));
    assert_eq!(queue.pop_back(), vec_deque.pop_back());
    if queue.len() == 0 {
      break;
    }
    assert_eq!(queue.as_slices(), vec_deque.as_slices());
    assert_eq!(queue.get(0), vec_deque.get(0));
    assert_eq!(queue.get_mut(0), vec_deque.get_mut(0));
    assert_eq!(queue.pop_front(), vec_deque.pop_front());
  }
  assert_eq!((queue.capacity(), queue.len()), (vec_deque.capacity(), vec_deque.len()));
  assert_eq!((queue.len(), vec_deque.len()), (0, 0));
}