algorithmify 0.1.1

Create specifications for algorithms defined using Rust code
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

use algorithmify::Interpreter;
use algorithmify_macros::define_function_builder;

#[test]
pub fn test_block() {
    #[define_function_builder]
    fn block() -> usize {
        let result = {
            let a = 1;
            a + 2
        };

        result
    }

    let expression = Interpreter::execute_function(block__function_builder()).unwrap();

    assert_eq!(block(), 3);
    assert_eq!(expression, 3.into());
}

#[test]
pub fn test_block_scope() {
    #[define_function_builder]
    fn block() -> usize {
        let result = 5;

        {
            let mut _result = 1;
            _result = 2;
        }

        result
    }

    let expression = Interpreter::execute_function(block__function_builder()).unwrap();

    assert_eq!(block(), 5);
    assert_eq!(expression, 5.into());
}