anodized-logic 0.5.1

Helps Anodized embed non-trivial elements of logic into Rust code
Documentation 
1
2
3
4
5
6
7

use anodized_logic::opaque;

#[test]
#[should_panic = "Cannot run `opaque!` expression: some_backend(a --> b)"]
fn execution_fails() {
    let _ = opaque!(some_backend(a --> b));
}