Function trace_from_str

pub fn trace_from_str<S>(str: &str) -> Result<Trace<S>, Error>
where
    S: for<'de> Deserialize<'de>,

Deserialize a Trace over states S from an ITF JSON string.

Examples found in repository

examples/cannibals.rs (line 45)

fn main() {
    let data = include_str!("../tests/fixtures/MissionariesAndCannibals.itf.json");
    let trace: itf::Trace<State> = itf::trace_from_str(data).unwrap();

    dbg!(trace);
}