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

Open

priyasiddharth wants to merge 1 commit intoseahorn:dev14from priyasiddharth:dev14

+4-3

Commits on Sep 17, 2023

fix: memhavoc should be mem def
priyasiddharth
committed