about summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/binary-heap.rs
blob: e85e56e1b79fd473646f9724421510b4cf2bc6f4 (plain)
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
use std::collections::BinaryHeap;

fn zero_sized_push() {
    const N: usize = 8;

    for len in 0..N {
        let mut tester = BinaryHeap::with_capacity(len);
        assert_eq!(tester.len(), 0);
        assert!(tester.capacity() >= len);
        for _ in 0..len {
            tester.push(());
        }
        assert_eq!(tester.len(), len);
        assert_eq!(tester.iter().count(), len);
        tester.clear();
    }
}

fn drain() {
    let mut heap = (0..128i32).collect::<BinaryHeap<_>>();

    assert!(!heap.is_empty());

    let mut sum = 0;
    for x in heap.drain() {
        sum += x;
    }
    assert_eq!(sum, 127 * 128 / 2);

    assert!(heap.is_empty());
}

fn main() {
    zero_sized_push();
    drain();
}