petshop-40-queries.spp

petshop/cart/petshop-40-queries.spp

Download original file · Petstore source contents

1domain petshop;23Scenario serial readShopCart(Cart) {4    findCart;5    identify(Cart);6}