Clock not toggling in waveform trace #1345
Description
Problem:
The clock is not toggling in the waveform.
How to reproduce the bug:
git clone https://github.com/ShashankVM/moore_seq_detector_overlapping/
cd moore_seq_detector_overlapping/
ebmc seq_detector.sv --top seq_detector --bound 500 --reset reset==1 --vcd seq_detector.vcd