`setrlimit` error on MacOS

[ghost]

I installed z3, and Yosys from home-brew, and installed symbiyosys as specified in the documents. When I tried to run the demo in the document, I ran into following errors

SBY 9:00:05 [demo] Removing directory 'demo'. SBY 9:00:05 [demo] Copy 'demo.sv' to 'demo/src/demo.sv'. SBY 9:00:05 [demo] engine_0: smtbmc abc SBY 9:00:05 [demo] base: starting process "cd demo/src; yosys -ql ../model/design.log ../model/design.ys" SBY 9:00:05 [demo] base: finished (returncode=0) SBY 9:00:05 [demo] smt2: starting process "cd demo/model; yosys -ql design_smt2.log design_smt2.ys" SBY 9:00:05 [demo] smt2: finished (returncode=0) SBY 9:00:05 [demo] engine_0: starting process "cd demo; yosys-smtbmc -s abc --presat --unroll --noprogress -t 10 --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 9:00:05 [demo] engine_0: Traceback (most recent call last): SBY 9:00:05 [demo] engine_0: File "/usr/local/bin/yosys-smtbmc", line 22, in SBY 9:00:05 [demo] engine_0: from smtio import SmtIo, SmtOpts, MkVcd SBY 9:00:05 [demo] engine_0: File "/usr/local/Cellar/yosys/0.9_2/bin/../share/yosys/python3/smtio.py", line 46, in SBY 9:00:05 [demo] engine_0: resource.setrlimit(resource.RLIMIT_STACK, (smtio_stacksize, current_rlimit_stack[1])) SBY 9:00:05 [demo] engine_0: ValueError: current limit exceeds maximum limit SBY 9:00:05 [demo] engine_0: finished (returncode=1) SBY 9:00:05 [demo] ERROR: engine_0: Engine terminated without status. SBY 9:00:05 [demo] DONE (ERROR, rc=16)

Do you have any idea why this is?

[ghost]

Hmm, this error seems to be solved by this PR in Yosys repo