How to configure yosys to code fsm in binary (and no one-hot)

[titan73]

By default yosys encode all fsm as one-hot.

90.7.6. Executing FSM_RECODE pass (re-assigning FSM state encoding).
Recoding FSM $fsm$\current_state$32030' from module \stusb45_dpm_algo' using auto' encoding: mapping auto encoding to one-hot` for this FSM.
000 -> -------1
100 -> ------1-
010 -> -----1--
110 -> ----1---
001 -> ---1----
101 -> --1-----
011 -> -1------
111 -> 1-------

I would like to have all fsm be encode as binary with a option or configuration from the yosys script.

I tried :
- synth -nofsm
- fsm -norecode
- fsm_recode -encoding binary
with no change.

What is the right option I can use in the yosys script ?

[titan73]

I retested with synth -nofsm and I got it working. I don't know why it didn't work previously. I probably did something wrong prior to synth command. Let's close this issue then.