write_simplec_not_top_module_fail.pat
41 Bytes
-
Update backends group. · 78573f91
- write_intersynth; - write_json; - write_simplec; - write_smt2; - write_smv; - write_spice; - write_table; - write_verilog; - write_xaiger.
SergeyDegtyar committed