LAVA-test-definitions