diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-30 17:14:00 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-10-01 11:16:39 +0200 |
| commit | 995f654c43092ceb258f7c0799a4101ed6e570af (patch) | |
| tree | 15439bf51a2a3481181113d7f325b461b62c2f79 /test/regression/Makefile | |
| parent | 634b136e5af1adafd8af7e5390aacdac2eb25be3 (diff) | |
| download | compcert-995f654c43092ceb258f7c0799a4101ed6e570af.tar.gz compcert-995f654c43092ceb258f7c0799a4101ed6e570af.zip | |
Add test for nested conditional, &&, || expressions
Diffstat (limited to 'test/regression/Makefile')
| -rw-r--r-- | test/regression/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regression/Makefile b/test/regression/Makefile index 536b7264..da31c7d7 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -15,7 +15,7 @@ TESTS=int32 int64 floats floats-basics floats-lit \ volatile1 volatile2 volatile3 volatile4 \ funct3 expr5 struct7 struct8 struct11 struct12 casts1 casts2 char1 \ sizeof1 sizeof2 binops bool for1 for2 switch switch2 compound \ - decl1 bitfields9 ptrs3 \ + decl1 bitfields9 ptrs3 telescopes \ parsing krfun ifconv generic # stringlit charlit # temporarily removed |