-------------------------------------------------
Beginning test: in (reset, din) out (err)
-------------------------------------------------
   next state: start from event cs/din: F/F
  (R)current state: start
5 ns reset=0 din=0 err=0
   current state: start
   next state: d0_not_1 from event cs/din: T/F
10 ns reset=1 din=0 err=0
   next state: d1_not_1 from event cs/din: F/T
   current state: d0_not_1
   next state: d1_not_1 from event cs/din: T/F
20 ns reset=1 din=1 err=0
   next state: start from event cs/din: F/T
   current state: d1_not_1
   next state: start from event cs/din: T/F
30 ns reset=1 din=0 err=0
   current state: start
   next state: d0_not_1 from event cs/din: T/F
40 ns reset=1 din=0 err=0
   next state: d1_not_1 from event cs/din: F/T
   current state: d0_not_1
   next state: d1_not_1 from event cs/din: T/F
50 ns reset=1 din=1 err=0
   current state: d1_not_1
   next state: start from event cs/din: T/F
60 ns reset=1 din=1 err=0
   current state: start
   next state: d0_is_1 from event cs/din: T/F
70 ns reset=1 din=1 err=0
   current state: d0_is_1
   next state: d1_is_1 from event cs/din: T/F
80 ns reset=1 din=1 err=1
   current state: d1_is_1
   next state: start from event cs/din: T/F
90 ns reset=1 din=1 err=0
  (R)current state: start
  (R)current state: start
100 ns reset=0 din=1 err=0
   next state: d0_is_1 from event cs/din: F/T
   current state: start
   next state: d0_not_1 from event cs/din: T/F
110 ns reset=1 din=0 err=0
   current state: d0_not_1
   next state: d1_not_1 from event cs/din: T/F
./seq_det_texttb:info: simulation stopped by --stop-time @120ns
