fix(spec): sim_time_ns must saturate, as its hand-written model always did - #3421

fix(spec): sim_time_ns must saturate, as its hand-written model always did#3421

gHashTag merged 1 commit into

mastergHashTag/t27:masterfrom

port/ring-101gHashTag/t27:port/ring-101Copy head branch name to clipboard