move-stackless-bytecode 0.3.2

Move stackless bytecode
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

// dep: ../../move-stdlib/sources/vector.move

module 0x42::M {
    use std::vector;
    const ZERO: u8 = 0;

    fun f() {
        let v = vector[ZERO, ZERO];
        let len = vector::length(&v);
        assert!(len == 1, 0);
    }

    spec f {
        aborts_if true;
    }
}