Goto binary serde cleanup (#2278) · qinheping/kani@56e7f93 · GitHub

Commit

Goto binary serde cleanup (model-checking#2278)

Browse files

Co-authored-by: Remi Delmas <[email protected]>

Loading branch information

remi-delmas-3000 and Remi Delmas authored Mar 15, 2023

1 parent ce992a4 commit 56e7f93