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.
Name |
Last Commit
d80b01d9
–
주간보고서 업로드
|
History
|
Last Update |
---|---|---|
.. | ||
README | Loading commit data... | |
basics-0.c | Loading commit data... | |
basics-0.in | Loading commit data... | |
basics-1.c | Loading commit data... | |
basics-1.in | Loading commit data... | |
chosol-0.c | Loading commit data... | |
chosol-0.in | Loading commit data... | |
chosol-1.c | Loading commit data... | |
chosol-1.in | Loading commit data... | |
code_gen-0.c | Loading commit data... | |
code_gen-0.in | Loading commit data... | |
code_gen-1.c | Loading commit data... | |
code_gen-1.in | Loading commit data... | |
code_gen-2.c | Loading commit data... | |
code_gen-2.in | Loading commit data... | |
collard-0.c | Loading commit data... | |
collard-0.in | Loading commit data... | |
dagstuhl1-0.c | Loading commit data... | |
dagstuhl1-0.in | Loading commit data... | |
dagstuhl1-1.c | Loading commit data... | |
dagstuhl1-1.in | Loading commit data... | |
fc1-0.c | Loading commit data... | |
fc1-0.in | Loading commit data... | |
fc1-1.c | Loading commit data... | |
fc1-1.in | Loading commit data... | |
fc1-2.c | Loading commit data... | |
fc1-2.in | Loading commit data... | |
fc2-0.c | Loading commit data... | |
fc2-0.in | Loading commit data... | |
fc2-1.c | Loading commit data... | |
fc2-1.in | Loading commit data... | |
floor_bound-0.c | Loading commit data... | |
floor_bound-0.in | Loading commit data... | |
floor_bound-1.c | Loading commit data... | |
floor_bound-1.in | Loading commit data... | |
floor_bound-2.c | Loading commit data... | |
floor_bound-2.in | Loading commit data... | |
floor_bound-3.c | Loading commit data... | |
floor_bound-3.in | Loading commit data... | |
floor_bound-4.c | Loading commit data... | |
floor_bound-4.in | Loading commit data... | |
floor_bound-5.c | Loading commit data... | |
floor_bound-5.in | Loading commit data... | |
floor_bound-6.c | Loading commit data... | |
floor_bound-6.in | Loading commit data... | |
gc-0.c | Loading commit data... | |
gc-0.in | Loading commit data... | |
ge-0.c | Loading commit data... | |
ge-0.in | Loading commit data... | |
ge-1.c | Loading commit data... | |
ge-1.in | Loading commit data... | |
gist-0.c | Loading commit data... | |
gist-0.in | Loading commit data... | |
gist-1.c | Loading commit data... | |
gist-1.in | Loading commit data... | |
gist-2.c | Loading commit data... | |
gist-2.in | Loading commit data... | |
gist-3.c | Loading commit data... | |
gist-3.in | Loading commit data... | |
gist-4.c | Loading commit data... | |
gist-4.in | Loading commit data... | |
gist-5.c | Loading commit data... | |
gist-5.in | Loading commit data... | |
guard1-0.c | Loading commit data... | |
guard1-0.in | Loading commit data... | |
guard1-1.c | Loading commit data... | |
guard1-1.in | Loading commit data... | |
hpf-0.c | Loading commit data... | |
hpf-0.in | Loading commit data... | |
if_then-0.c | Loading commit data... | |
if_then-0.in | Loading commit data... | |
if_then-1.c | Loading commit data... | |
if_then-1.in | Loading commit data... | |
if_then-2.c | Loading commit data... | |
if_then-2.in | Loading commit data... | |
if_then-3.c | Loading commit data... | |
if_then-3.in | Loading commit data... | |
if_then-4.c | Loading commit data... | |
if_then-4.in | Loading commit data... | |
if_then-5.c | Loading commit data... | |
if_then-5.in | Loading commit data... | |
iter1-0.c | Loading commit data... | |
iter1-0.in | Loading commit data... | |
iter2-0.c | Loading commit data... | |
iter2-0.in | Loading commit data... | |
iter3-0.c | Loading commit data... | |
iter3-0.in | Loading commit data... | |
iter4-0.c | Loading commit data... | |
iter4-0.in | Loading commit data... | |
iter5-0.c | Loading commit data... | |
iter5-0.in | Loading commit data... | |
iter6-0.c | Loading commit data... | |
iter6-0.in | Loading commit data... | |
iter6-1.c | Loading commit data... | |
iter6-1.in | Loading commit data... | |
iter7-0.c | Loading commit data... | |
iter7-0.in | Loading commit data... | |
iter8-0.c | Loading commit data... | |
iter8-0.in | Loading commit data... | |
iter9-0.c | Loading commit data... | |
iter9-0.in | Loading commit data... | |
lefur00-0.c | Loading commit data... | |
lefur00-0.in | Loading commit data... | |
lefur01-0.c | Loading commit data... | |
lefur01-0.in | Loading commit data... | |
lefur01-1.c | Loading commit data... | |
lefur01-1.in | Loading commit data... | |
lefur03-0.c | Loading commit data... | |
lefur03-0.in | Loading commit data... | |
lefur04-0.c | Loading commit data... | |
lefur04-0.in | Loading commit data... | |
lift1-0.c | Loading commit data... | |
lift1-0.in | Loading commit data... | |
lift1-1.c | Loading commit data... | |
lift1-1.in | Loading commit data... | |
lift1-2.c | Loading commit data... | |
lift1-2.in | Loading commit data... | |
lift1-3.c | Loading commit data... | |
lift1-3.in | Loading commit data... | |
lift1-4.c | Loading commit data... | |
lift1-4.in | Loading commit data... | |
lift1-5.c | Loading commit data... | |
lift1-5.in | Loading commit data... | |
lift2-0.c | Loading commit data... | |
lift2-0.in | Loading commit data... | |
lift2-1.c | Loading commit data... | |
lift2-1.in | Loading commit data... | |
lift2-2.c | Loading commit data... | |
lift2-2.in | Loading commit data... | |
lift2-3.c | Loading commit data... | |
lift2-3.in | Loading commit data... | |
lift2-4.c | Loading commit data... | |
lift2-4.in | Loading commit data... | |
lift2-5.c | Loading commit data... | |
lift2-5.in | Loading commit data... | |
lu-0.c | Loading commit data... | |
lu-0.in | Loading commit data... | |
lu-1.c | Loading commit data... | |
lu-1.in | Loading commit data... | |
lu-2.c | Loading commit data... | |
lu-2.in | Loading commit data... | |
lu-3.c | Loading commit data... | |
lu-3.in | Loading commit data... | |
lu_ijk-0.c | Loading commit data... | |
lu_ijk-0.in | Loading commit data... | |
lu_ijk-1.c | Loading commit data... | |
lu_ijk-1.in | Loading commit data... | |
lu_ijk-2.c | Loading commit data... | |
lu_ijk-2.in | Loading commit data... | |
lu_spmd-0.c | Loading commit data... | |
lu_spmd-0.in | Loading commit data... | |
lu_spmd-1.c | Loading commit data... | |
lu_spmd-1.in | Loading commit data... | |
m1-0.c | Loading commit data... | |
m1-0.in | Loading commit data... | |
m1-1.c | Loading commit data... | |
m1-1.in | Loading commit data... | |
m10-0.c | Loading commit data... | |
m10-0.in | Loading commit data... | |
m10-1.c | Loading commit data... | |
m10-1.in | Loading commit data... | |
m11-0.c | Loading commit data... | |
m11-0.in | Loading commit data... | |
m12-0.c | Loading commit data... | |
m12-0.in | Loading commit data... | |
m12-1.c | Loading commit data... | |
m12-1.in | Loading commit data... | |
m2-0.c | Loading commit data... | |
m2-0.in | Loading commit data... | |
m2-1.c | Loading commit data... | |
m2-1.in | Loading commit data... | |
m3-0.c | Loading commit data... | |
m3-0.in | Loading commit data... | |
m4-0.c | Loading commit data... | |
m4-0.in | Loading commit data... | |
m4-1.c | Loading commit data... | |
m4-1.in | Loading commit data... | |
m7-0.c | Loading commit data... | |
m7-0.in | Loading commit data... | |
m7-1.c | Loading commit data... | |
m7-1.in | Loading commit data... | |
m8-0.c | Loading commit data... | |
m8-0.in | Loading commit data... | |
m8-1.c | Loading commit data... | |
m8-1.in | Loading commit data... | |
m9-0.c | Loading commit data... | |
m9-0.in | Loading commit data... | |
m9-1.c | Loading commit data... | |
m9-1.in | Loading commit data... | |
olda-0.c | Loading commit data... | |
olda-0.in | Loading commit data... | |
olda-1.c | Loading commit data... | |
olda-1.in | Loading commit data... | |
p.delft-0.c | Loading commit data... | |
p.delft-0.in | Loading commit data... | |
p.delft2-0.c | Loading commit data... | |
p.delft2-0.in | Loading commit data... | |
p6-0.c | Loading commit data... | |
p6-0.in | Loading commit data... | |
p6-1.c | Loading commit data... | |
p6-1.in | Loading commit data... | |
stride1-0.c | Loading commit data... | |
stride1-0.in | Loading commit data... | |
stride2-0.c | Loading commit data... | |
stride2-0.in | Loading commit data... | |
stride3-0.c | Loading commit data... | |
stride3-0.in | Loading commit data... | |
stride4-0.c | Loading commit data... | |
stride4-0.in | Loading commit data... | |
stride5-0.c | Loading commit data... | |
stride5-0.in | Loading commit data... | |
stride6-0.c | Loading commit data... | |
stride6-0.in | Loading commit data... | |
stride6-1.c | Loading commit data... | |
stride6-1.in | Loading commit data... | |
stride6-2.c | Loading commit data... | |
stride6-2.in | Loading commit data... | |
stride7-0.c | Loading commit data... | |
stride7-0.in | Loading commit data... | |
stride7-1.c | Loading commit data... | |
stride7-1.in | Loading commit data... | |
substitution-0.c | Loading commit data... | |
substitution-0.in | Loading commit data... | |
substitution-1.c | Loading commit data... | |
substitution-1.in | Loading commit data... | |
substitution-2.c | Loading commit data... | |
substitution-2.in | Loading commit data... | |
substitution-3.c | Loading commit data... | |
substitution-3.in | Loading commit data... | |
substitution-4.c | Loading commit data... | |
substitution-4.in | Loading commit data... | |
syr2k-0.c | Loading commit data... | |
syr2k-0.in | Loading commit data... | |
syr2k-1.c | Loading commit data... | |
syr2k-1.in | Loading commit data... | |
syr2k-2.c | Loading commit data... | |
syr2k-2.in | Loading commit data... | |
syr2k-3.c | Loading commit data... | |
syr2k-3.in | Loading commit data... | |
ts1d-check-sblock-0.c | Loading commit data... | |
ts1d-check-sblock-0.in | Loading commit data... | |
ts1d-check0-0.c | Loading commit data... | |
ts1d-check0-0.in | Loading commit data... | |
ts1d-mp-i_ts-m_b-0.c | Loading commit data... | |
ts1d-mp-i_ts-m_b-0.in | Loading commit data... | |
ts1d-orig0-0.c | Loading commit data... | |
ts1d-orig0-0.in | Loading commit data... | |
wak1-0.c | Loading commit data... | |
wak1-0.in | Loading commit data... | |
wak1-1.c | Loading commit data... | |
wak1-1.in | Loading commit data... | |
wak2-0.c | Loading commit data... | |
wak2-0.in | Loading commit data... | |
wak2-1.c | Loading commit data... | |
wak2-1.in | Loading commit data... | |
wak3-0.c | Loading commit data... | |
wak3-0.in | Loading commit data... | |
wak3-1.c | Loading commit data... | |
wak3-1.in | Loading commit data... | |
wak4-0.c | Loading commit data... | |
wak4-0.in | Loading commit data... | |
wak4-1.c | Loading commit data... | |
wak4-1.in | Loading commit data... | |
x-0.c | Loading commit data... | |
x-0.in | Loading commit data... | |
x-1.c | Loading commit data... | |
x-1.in | Loading commit data... |
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.