[options] mode prove depth 100 [engines] smtbmc [script] read -formal delta_counter.sv read -formal counter.sv read -formal counter_properties.sv prep -top counter [files] counter_properties.sv ../src/counter.sv ../src/delta_counter.sv
