add support for enum, struct, tuple in llbc backend#3721

zhassan-aws merged 24 commits into

model-checking:mainmodel-checking/kani:mainfrom

thanhnguyen-aws:thanh-llbcthanhnguyen-aws/kani:thanh-llbcCopy head branch name to clipboard