Struct LibraryLoader 

pub struct LibraryLoader;

Loads invariants from TOML files.

Implementations

impl LibraryLoader

pub fn load_from_toml(path: &Path) -> Result<Vec<Invariant>>

Load invariants from a TOML file.

Expects TOML structure like:

[[invariants]]
name = "balance_conservation"
expression = "sum_balances == total_supply"
severity = "critical"

pub fn load_from_dir(dir: &Path) -> Result<Vec<Invariant>>

Load all invariants from a directory.