6 lines · plain
1The tests in this directory have been adapted from the corresponding omega+2test cases.3The options have been derived semi-automatically and may not always4correspond to the intended meaning of the specified "effort" in the omega+5test cases.6