[go: up one dir, main page]

memchr 2.3.2

Safe interface to memchr.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// Simple tests using MIRI

use crate::{memchr, memchr2, memchr3, memrchr, memrchr2, memrchr3};

#[test]
fn test_with_miri() {
    assert_eq!(memchr(b'a', b"abcda"), Some(0));
    assert_eq!(memchr(b'z', b"abcda"), None);
    assert_eq!(memchr2(b'a', b'z', b"abcda"), Some(0));
    assert_eq!(memchr2(b'z', b'y', b"abcda"), None);
    assert_eq!(memchr3(b'a', b'z', b'b', b"abcda"), Some(0));
    assert_eq!(memchr3(b'z', b'y', b'x', b"abcda"), None);
    assert_eq!(memrchr(b'a', b"abcda"), Some(4));
    assert_eq!(memrchr(b'z', b"abcda"), None);
    assert_eq!(memrchr2(b'a', b'z', b"abcda"), Some(4));
    assert_eq!(memrchr2(b'z', b'y', b"abcda"), None);
    assert_eq!(memrchr3(b'a', b'z', b'b', b"abcda"), Some(4));
    assert_eq!(memrchr3(b'z', b'y', b'x', b"abcda"), None);
}