miden-air 0.22.3

Algebraic intermediate representation of Miden VM processor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//! Tests for decoder constraints.

use super::{CONSTRAINT_DEGREES, NUM_CONSTRAINTS};

// CONSTRAINT COUNT TEST
// ================================================================================================

#[test]
fn test_array_sizes() {
    // 7 op bits binary + 2 extra columns + 3 op-bit group constraints + 3 batch flags
    // + 14 general constraints
    // + 1 sp binary + 2 sp transitions + 5 group count constraints
    // + 2 op group decoding + 4 op index constraints + 9 batch flag constraints
    // + 3 block address constraints + 1 control flow constraint
    // + 1 additional decoder constraint (see DECODER_NAMES)
    assert_eq!(NUM_CONSTRAINTS, 57);
    assert_eq!(CONSTRAINT_DEGREES.len(), NUM_CONSTRAINTS);
}