Adding test for --counterexample=variables#565

marcoeilers merged 3 commits into

masterviperproject/carbon:masterfrom

meilers_ce_values_testviperproject/carbon:meilers_ce_values_testCopy head branch name to clipboard