README
basics-0.c
basics-0.in
basics-1.c
basics-1.in
chosol-0.c
chosol-0.in
chosol-1.c
chosol-1.in
code_gen-0.c
code_gen-0.in
code_gen-1.c
code_gen-1.in
code_gen-2.c
code_gen-2.in
collard-0.c
collard-0.in
dagstuhl1-0.c
dagstuhl1-0.in
dagstuhl1-1.c
dagstuhl1-1.in
fc1-0.c
fc1-0.in
fc1-1.c
fc1-1.in
fc1-2.c
fc1-2.in
fc2-0.c
fc2-0.in
fc2-1.c
fc2-1.in
floor_bound-0.c
floor_bound-0.in
floor_bound-1.c
floor_bound-1.in
floor_bound-2.c
floor_bound-2.in
floor_bound-3.c
floor_bound-3.in
floor_bound-4.c
floor_bound-4.in
floor_bound-5.c
floor_bound-5.in
floor_bound-6.c
floor_bound-6.in
gc-0.c
gc-0.in
ge-0.c
ge-0.in
ge-1.c
ge-1.in
gist-0.c
gist-0.in
gist-1.c
gist-1.in
gist-2.c
gist-2.in
gist-3.c
gist-3.in
gist-4.c
gist-4.in
gist-5.c
gist-5.in
guard1-0.c
guard1-0.in
guard1-1.c
guard1-1.in
hpf-0.c
hpf-0.in
if_then-0.c
if_then-0.in
if_then-1.c
if_then-1.in
if_then-2.c
if_then-2.in
if_then-3.c
if_then-3.in
if_then-4.c
if_then-4.in
if_then-5.c
if_then-5.in
iter1-0.c
iter1-0.in
iter2-0.c
iter2-0.in
iter3-0.c
iter3-0.in
iter4-0.c
iter4-0.in
iter5-0.c
iter5-0.in
iter6-0.c
iter6-0.in
iter6-1.c
iter6-1.in
iter7-0.c
iter7-0.in
iter8-0.c
iter8-0.in
iter9-0.c
iter9-0.in
lefur00-0.c
lefur00-0.in
lefur01-0.c
lefur01-0.in
lefur01-1.c
lefur01-1.in
lefur03-0.c
lefur03-0.in
lefur04-0.c
lefur04-0.in
lift1-0.c
lift1-0.in
lift1-1.c
lift1-1.in
lift1-2.c
lift1-2.in
lift1-3.c
lift1-3.in
lift1-4.c
lift1-4.in
lift1-5.c
lift1-5.in
lift2-0.c
lift2-0.in
lift2-1.c
lift2-1.in
lift2-2.c
lift2-2.in
lift2-3.c
lift2-3.in
lift2-4.c
lift2-4.in
lift2-5.c
lift2-5.in
lu-0.c
lu-0.in
lu-1.c
lu-1.in
lu-2.c
lu-2.in
lu-3.c
lu-3.in
lu_ijk-0.c
lu_ijk-0.in
lu_ijk-1.c
lu_ijk-1.in
lu_ijk-2.c
lu_ijk-2.in
lu_spmd-0.c
lu_spmd-0.in
lu_spmd-1.c
lu_spmd-1.in
m1-0.c
m1-0.in
m1-1.c
m1-1.in
m10-0.c
m10-0.in
m10-1.c
m10-1.in
m11-0.c
m11-0.in
m12-0.c
m12-0.in
m12-1.c
m12-1.in
m2-0.c
m2-0.in
m2-1.c
m2-1.in
m3-0.c
m3-0.in
m4-0.c
m4-0.in
m4-1.c
m4-1.in
m7-0.c
m7-0.in
m7-1.c
m7-1.in
m8-0.c
m8-0.in
m8-1.c
m8-1.in
m9-0.c
m9-0.in
m9-1.c
m9-1.in
olda-0.c
olda-0.in
olda-1.c
olda-1.in
p.delft-0.c
p.delft-0.in
p.delft2-0.c
p.delft2-0.in
p6-0.c
p6-0.in
p6-1.c
p6-1.in
stride1-0.c
stride1-0.in
stride2-0.c
stride2-0.in
stride3-0.c
stride3-0.in
stride4-0.c
stride4-0.in
stride5-0.c
stride5-0.in
stride6-0.c
stride6-0.in
stride6-1.c
stride6-1.in
stride6-2.c
stride6-2.in
stride7-0.c
stride7-0.in
stride7-1.c
stride7-1.in
substitution-0.c
substitution-0.in
substitution-1.c
substitution-1.in
substitution-2.c
substitution-2.in
substitution-3.c
substitution-3.in
substitution-4.c
substitution-4.in
syr2k-0.c
syr2k-0.in
syr2k-1.c
syr2k-1.in
syr2k-2.c
syr2k-2.in
syr2k-3.c
syr2k-3.in
ts1d-check-sblock-0.c
ts1d-check-sblock-0.in
ts1d-check0-0.c
ts1d-check0-0.in
ts1d-mp-i_ts-m_b-0.c
ts1d-mp-i_ts-m_b-0.in
ts1d-orig0-0.c
ts1d-orig0-0.in
wak1-0.c
wak1-0.in
wak1-1.c
wak1-1.in
wak2-0.c
wak2-0.in
wak2-1.c
wak2-1.in
wak3-0.c
wak3-0.in
wak3-1.c
wak3-1.in
wak4-0.c
wak4-0.in
wak4-1.c
wak4-1.in
x-0.c
x-0.in
x-1.c
x-1.in
README
The tests in this directory have been adapted from the corresponding omega+
test cases.
The options have been derived semi-automatically and may not always
correspond to the intended meaning of the specified "effort" in the omega+
test cases.