Eliminate a source of code bloat in the kani library#2033

Closed

zhassan-aws wants to merge 1 commit intomodel-checking:mainfrom zhassan-aws:iss2010-2

+17-9

Commits on Dec 22, 2022

Eliminate another source of caller_location warning in kani library
zhassan-aws
committed