From 34a2dec2f1fab835aec0799f5b4758df31e688ff Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 17 Aug 2014 07:53:43 +0000
Subject: Add some tests for "switch" over 32 and 64-bit integers.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2566 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/regression/Makefile')

diff --git a/test/regression/Makefile b/test/regression/Makefile
index 3583676..4cf9470 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -16,7 +16,7 @@ TESTS=int32 int64 floats floats-basics \
   expr1 expr6 funptr2 initializers initializers2 initializers3 \
   volatile1 volatile2 volatile3 \
   funct3 expr5 struct7 struct8 struct11 casts1 casts2 char1 \
-  sizeof1 sizeof2 binops bool for1
+  sizeof1 sizeof2 binops bool for1 switch switch2
 
 # Can run, but only in compiled mode, and have reference output in Results
 
-- 
cgit v1.2.3