Carbon implementation of new backend-independent counterexample format#574

marcoeilers wants to merge 3 commits intomasterviperproject/carbon:masterfrom

meilers_raoul_counterexamplesviperproject/carbon:meilers_raoul_counterexamplesCopy head branch name to clipboard