Add box mut dyn trait regression test#108

markrtuttle merged 1 commit into

main-151-2021-04-26model-checking/kani:main-151-2021-04-26from

box-dyn-pointermodel-checking/kani:box-dyn-pointerCopy head branch name to clipboard