1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
use rust_automata::*; #[derive(Default)] pub struct S1; #[derive(Default)] pub struct I1; #[automaton( inputs(), states(S1), outputs(), initial_state(S1), transitions( (S1, I1) -> (S1) // I1 not declared ) )] pub struct BadInput; fn main() {}