SBY 22:44:46 [fifo_sync_shift_prf] Removing direcory 'fifo_sync_shift_prf'.
SBY 22:44:46 [fifo_sync_shift_cvr] Removing direcory 'fifo_sync_shift_cvr'.
SBY 22:44:46 [fifo_sync_shift_cvr] Copy 'fifo_sync_shift.v' to 'fifo_sync_shift_cvr/src/fifo_sync_shift.v'.
SBY 22:44:46 [fifo_sync_shift_cvr] engine_0: smtbmc
SBY 22:44:46 [fifo_sync_shift_cvr] base: starting process "cd fifo_sync_shift_cvr/src; yosys -ql ../model/design.log ../model/design.ys"
SBY 22:44:46 [fifo_sync_shift_cvr] base: finished (returncode=0)
SBY 22:44:46 [fifo_sync_shift_cvr] smt2: starting process "cd fifo_sync_shift_cvr/model; yosys -ql design_smt2.log design_smt2.ys"
SBY 22:44:46 [fifo_sync_shift_cvr] smt2: finished (returncode=0)
SBY 22:44:46 [fifo_sync_shift_cvr] engine_0: starting process "cd fifo_sync_shift_cvr; yosys-smtbmc --presat --unroll -c --noprogress -t 35 --append 0 --dump-vcd engine_0/trace%.vcd --dump-vlogtb engine_0/trace%_tb.v --dump-smtc engine_0/trace%.smtc model/design_smt2.smt2"
SBY 22:44:46 [fifo_sync_shift_cvr] engine_0: ##   0:00:00  Solver: yices
SBY 22:44:46 [fifo_sync_shift_cvr] engine_0: ##   0:00:00  Status: PASSED
SBY 22:44:46 [fifo_sync_shift_cvr] engine_0: finished (returncode=0)
SBY 22:44:46 [fifo_sync_shift_cvr] engine_0: Status returned by engine: PASS
SBY 22:44:46 [fifo_sync_shift_cvr] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0)
SBY 22:44:46 [fifo_sync_shift_cvr] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0)
SBY 22:44:46 [fifo_sync_shift_cvr] summary: engine_0 (smtbmc) returned PASS
SBY 22:44:46 [fifo_sync_shift_cvr] DONE (PASS, rc=0)