Slots tests with qverify