Skip to content

[Boogie Backend] Codegen the arguments to Kani intrinsics inside the functions that handle the intrinsics#2924

Merged
zhassan-aws merged 1 commit intomodel-checking:features/boogiefrom zhassan-aws:intrinsic-argsDec 8, 2023
+14-14

Commits