| 462 | } |
| 463 | |
| 464 | pub fn write_asserts_to_file(proof_asserts: Assertions, filename: &str) { |
| 465 | //let proof_asserts = mock_asserts(); |
| 466 | let mut proof_vec: Vec<Vec<u8>> = vec![]; |
| 467 | for k in proof_asserts.0 { |
| 468 | proof_vec.push(k.to_vec()); |
| 469 | } |
| 470 | for k in proof_asserts.1 { |
| 471 | proof_vec.push(k.to_vec()); |
| 472 | } |
| 473 | for k in proof_asserts.2 { |
| 474 | proof_vec.push(k.to_vec()); |
| 475 | } |
| 476 | let mut obj: HashMap<u32, Vec<Vec<u8>>> = HashMap::new(); |
| 477 | obj.insert(0, proof_vec); |
| 478 | |
| 479 | write_map_to_file(&obj, filename).unwrap(); |
| 480 | } |
| 481 | |
| 482 | #[allow(clippy::needless_range_loop)] |
| 483 | pub fn read_asserts_from_file(filename: &str) -> Assertions { |