essential-server 0.4.0

Declaritive constraint checking engine
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

use crate::{
    solution::{read::read_contract_from_storage, validate_contract},
    test_utils::sanity_solution,
};
use essential_types::PredicateAddress;
use test_utils::empty::Empty;

#[tokio::test]
async fn test_retrieve_contract() {
    let (solution, storage) = sanity_solution().await;
    let contract = read_contract_from_storage(&solution, &storage)
        .await
        .unwrap();
    validate_contract(&solution, &contract).unwrap();
}

#[tokio::test]
#[should_panic(expected = "Failed to retrieve contract from storage")]
async fn test_fail_to_retrieve_contract() {
    let (mut solution, storage) = sanity_solution().await;
    // Corrupt the contract read from storage
    solution.data[0].predicate_to_solve = PredicateAddress::empty();
    let contract = read_contract_from_storage(&solution, &storage)
        .await
        .unwrap();
    validate_contract(&solution, &contract).unwrap();
}