Add a test for discriminant_value#1021

adpaco merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

adpaco:discriminant_value-auditadpaco/rmc:discriminant_value-auditCopy head branch name to clipboard