baa 0.17.1

BitVector and Array Arithmetic
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
44
45
46
47
48
49
50
51

// Copyright 2023-2024 The Regents of the University of California
// Copyright 2024 Cornell University
// released under BSD 3-Clause License
// author: Kevin Laeufer <laeufer@cornell.edu>

use baa::*;
use proptest::prelude::*;

#[test]
fn i64_roundtrip_regression() {
    assert_eq!(BitVecValue::from_i64(0, 64).to_i64().unwrap(), 0);
    assert_eq!(BitVecValue::from_i64(-1, 64).to_i64().unwrap(), -1);
}

#[test]
#[cfg(feature = "bigint")]
fn i32_to_ibig_regression() {
    let input = 0;
    let val = BitVecValue::from_i64(input as i64, 32);
    assert_eq!(val.to_big_int(), input.into())
}

proptest! {

    #[test]
    fn i64_roundtrip(value: i64) {
        let bitvec = BitVecValue::from_i64(value, 64);
        prop_assert_eq!(bitvec.to_i64().unwrap(), value);
    }

    #[test]
    fn u64_roundtrip(value: u64) {
        let bitvec = BitVecValue::from_u64(value, 64);
        prop_assert_eq!(bitvec.to_u64().unwrap(), value);
    }

    #[test]
    #[cfg(feature = "bigint")]
    fn i32_to_ibig(input: i32) {
        let val = BitVecValue::from_i64(input as i64, 32);
        prop_assert_eq!(val.to_big_int(), input.into())
    }
}

#[test]
fn test_value_container_to_u64() {
    let value = Value::BitVec(BitVecValue::from_u128(123, 128));
    assert_eq!(value.try_into(), Ok(123));
    let value = Value::BitVec(BitVecValue::from_u128(u128::MAX >> 10, 128));
    assert!(<Value as TryInto<u64>>::try_into(value).is_err());
}