Verific issue on commit 54f18ec

[rajesh-s]

Hi,

On the commit 54f18ec , I get the following issue on executing the sample counter proof. However, the proof runs as expected when read -verific is commented out in the sby.

$ sby -f counter.sby

SBY  1:10:05 [counter] Removing direcory 'counter'.
SBY  1:10:05 [counter] Copy 'counter.v' to 'counter/src/counter.v'.
SBY  1:10:05 [counter] engine_0: smtbmc
SBY  1:10:05 [counter] base: starting process "cd counter/src; yosys -ql ../model/design.log ../model/design.ys"
SBY  1:10:05 [counter] base: ERROR: This version of Yosys is built without Verific support.
SBY  1:10:05 [counter] base: finished (returncode=1)
SBY  1:10:05 [counter] base: job failed. ERROR.
SBY  1:10:05 [counter] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0)
SBY  1:10:05 [counter] summary: Elapsed process time [H:MM:SS (secs)]: 0:00:00 (0)
SBY  1:10:05 [counter] DONE (ERROR, rc=16)

Please let me know if I'm missing something here.

Thanks!

[rajesh-s]

Figured that this issue is related to Yosys installation rather than anything with this commit