sea-dsa icon indicating copy to clipboard operation
sea-dsa copied to clipboard

Published 20 hours ago • verified publisher icon seahorn

fix: rearrange so assert(false) not on return path

Open priyasiddharth opened this issue 3 years ago • 0 comments

other changes are format only

priyasiddharth avatar Nov 02 '22 15:11 priyasiddharth