ommx 2.5.1

Open Mathematical prograMming eXchange (OMMX)
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

use super::super::*;
use crate::{arbitrary::InstanceParameters, Instance, NamedFunctionIDParameters};
use approx::AbsDiffEq;
use proptest::prelude::*;
use similar::{ChangeTag, TextDiff};

fn take_diff(expected: &Instance, actual: &Instance) -> String {
    let expected = format!("{expected:#?}");
    let actual = format!("{actual:#?}");
    let diff = TextDiff::from_lines(&expected, &actual);
    let mut diff_string = String::new();
    for change in diff.iter_all_changes() {
        let sign = match change.tag() {
            ChangeTag::Delete => "-",
            ChangeTag::Insert => "+",
            ChangeTag::Equal => " ",
        };
        diff_string += &format!("{sign}{change}");
    }
    diff_string
}

proptest! {
    #[test]
    fn test_write_mps(instance in Instance::arbitrary_with(<Instance as Arbitrary>::Parameters::default_qcqp())) {
        let mut buffer = Vec::new();
        prop_assert!(format::format(&instance, &mut buffer).is_ok())
    }

    // NOTE: MPS doesn't support named functions, so we limit the test
    // just to test against instances without named functions.
    #[test]
    fn test_roundtrip(instance in Instance::arbitrary_with(
        InstanceParameters {
            named_function_ids: NamedFunctionIDParameters::new(0, 0.into()).unwrap(),
            .. <Instance as Arbitrary>::Parameters::default_qcqp()
        })
    ) {
        let mut buffer = Vec::new();
        prop_assert!(format::format(&instance, &mut buffer).is_ok());
        let loaded = parse(&buffer[..]).unwrap();
        prop_assert!(
            instance.abs_diff_eq(&loaded, crate::ATol::default()),
            "Instance not matching after roundtrip:\n{}\nMPS:\n{}",
            take_diff(&instance, &loaded),
            String::from_utf8(buffer).unwrap()
        );
    }
}