1*5971e316SmrgThe tests in this directory have been adapted from the corresponding omega+ 2*5971e316Smrgtest cases. 3*5971e316SmrgThe options have been derived semi-automatically and may not always 4*5971e316Smrgcorrespond to the intended meaning of the specified "effort" in the omega+ 5*5971e316Smrgtest cases. 6