stack-assembly 1.0.1

minimalist, stack-based, assembly-like programming language
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

use crate::{Effect, Eval, Script};

#[test]
fn assert_consumes_input() {
    // `assert` consumes one input. If that input is non-zero, it does nothing
    // else.

    let script = Script::compile("1 assert");

    let mut eval = Eval::new();
    let (effect, _) = eval.run(&script);

    assert_eq!(effect, Effect::OutOfOperators);
    assert_eq!(eval.operand_stack.to_i32_slice(), &[]);
}

#[test]
fn assert_triggers_effect() {
    // `assert` triggers an effect, if its input is zero.

    let script = Script::compile("0 assert");

    let mut eval = Eval::new();
    let (effect, _) = eval.run(&script);

    assert_eq!(effect, Effect::AssertionFailed);
    assert_eq!(eval.operand_stack.to_i32_slice(), &[]);
}