tests/sat/initval.ys - third_party/yosys - Git at Google


            
            read_verilog -sv initval.v

            
            proc;;


            sat -seq 10 -prove-asserts