How to cook beef olives in pressure cooker please?

Can't find my pressure cooker book, and Mum is unavailable for the morning! I have cooked beef olives in the pressure cooker before, but can't remember exact time, liquid quantity etc. I have four beef olives. From memory I browned them in open cooker, pressure cooked them in beef stock (how much?), and then thickened stock to make gravy once meat was cooked. TIA

Yes brown olives first then cook on high pressure for 10 minutes with 2 cups water. I use a Maggi Mushroom soup mix for flavouring but you can use 1 oxo cube in the water and then thicken with cornflour at the end