itf

Function trace_from_str

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

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

Examples found in repository?
examples/cannibals.rs (line 45)
43fn main() {
44    let data = include_str!("../tests/fixtures/MissionariesAndCannibals.itf.json");
45    let trace: itf::Trace<State> = itf::trace_from_str(data).unwrap();
46
47    dbg!(trace);
48}