fsm_encoding attribute is not passed to Yosys

[gkamendje]

I am using e97602e68e55273fa11564fbb4388b119c18eeb3 with Yosys Yosys 0.34+43 (git sha1 d21c464ae, c++ 11.4.0-1ubuntu1~22.04 -fPIC -Os) Looks like the following attribute is not passed to Yosys. (* fsm_encoding="user" *) state_t curr_state ; The following example (RTL+Yosys script) illustrates the issue https://drive.google.com/file/d/1227_ul1Q_E0YteFAvkZ7HTWQ5CoVVe7A/view?usp=drive_link Just change the pointer to the Yosys binary and run make kiss. There is no attribute \fsm_encoding "user" listed in the output.