yosys/tests/verific/range_case.ys

import -cfg db_abstract_case_statement_synthesis 0
read -sv range_case.sv
import -import top 
proc
rename top gold

import -cfg db_abstract_case_statement_synthesis 1
read -sv range_case.sv
import -import top 
proc
rename top gate

miter -equiv -flatten -make_assert gold gate miter
prep -top miter
clk2fflogic
sat -set-init-zero -tempinduct -prove-asserts -verify