1 The tests in this directory have been adapted from the corresponding omega+ 2 test cases. 3 The options have been derived semi-automatically and may not always 4 correspond to the intended meaning of the specified "effort" in the omega+ 5 test cases. 6
Indexes created Sun Mar 01 05:31:48 UTC 2026