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
a4053157
–
Add README.md
|
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.