Z3 tests  Help

Unknown topic: "options"