w4_abc_{aiger,verilog}: Handle variable-less properties correctly#1943
Merged
mergify[bot] merged 1 commit intomasterfrom T1938Sep 20, 2023
+61-19
w4_abc_{aiger,verilog}: Handle variable-less properties correctly#1943