Jasmin test cases