Press the saute button, when it's very hot add the ground beef and salt and cook until browned breaking the meat up into small pieces as it cooks. When browned, add the onion, celery and carrots and saute 3 to 4 minutes.
Add the tomatoes, beef stock and bay leaves, close and using pressure cooker press soup (35 minutes).
After that use the quick release, once the pressure is out open, add the pasta and stir, cover and press manual pressure 6 minutes (I did half the time directed on package of pasta). Remove bay leaves and serve.