aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_termination_rv32.sail
blob: 7cf8cb8d8b2c5e104f3f5973b1a2cb1a52f05722 (plain)
1
termination_measure walk32(_,_,_,_,_,_,level,_) = level