Make codegen_span stable#2882

celinval merged 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

ouz-a:stable_codegen_spanouz-a/kani:stable_codegen_spanCopy head branch name to clipboard