fix: python petserver parameter type

example/petstore-python-flask/petstore.py

@@ -7,13 +7,13 @@
 # NOTE: Not thread-safe and won't work if clients connect concurrently.
 petstore = {}
 
-@app.route("/pet/<pet_id>", methods=["GET"])
+@app.route("/pet/<int:pet_id>", methods=["GET"])
 def get_pet(pet_id):
     if pet_id in petstore:
         pet_name = petstore[pet_id]
         return jsonify(petId=pet_id, petName=pet_name)
     else:
-        return "Pet not found", 404
+        return jsonify(error="Pet not found"), 404
 
 @app.route("/pet", methods=["POST"])
 def add_pet():

src/Spex/Experiment/LinearTemporalLogic.hs

@@ -1,13 +1,12 @@
-module Spex.Experiment.LinearTemporalLogic 
-  (module Spex.Experiment.LinearTemporalLogic) 
-  where
+module Spex.Experiment.LinearTemporalLogic (module Spex.Experiment.LinearTemporalLogic) where
 
 -- Bug Catching: Automated Program Verification:
 --   https://www.cs.cmu.edu/~15414/
 --   https://www.cs.cmu.edu/~15414/s23/lectures/24-ltl.pdf
 --   NuSMV: https://www.cs.cmu.edu/~15414/lectures/21-ltl.pdf
 --   The algorithm used in the 2018 lectures:
 --     https://link.springer.com/content/pdf/10.1007/978-0-387-34892-6_1.pdf
+-- https://en.wikipedia.org/wiki/Property_Specification_Language
 
 import Data.Maybe
 

src/Spex/Experiment/Protocol3.hs

@@ -389,11 +389,14 @@ test seed = do
       mapM_ (putStrLn . prettyEnvelope) (runSim sim)
       return False
 
-t :: Int -> IO ()
-t 0 = putStrLn "Success!"
-t numberOfTests = do
+t' :: Int -> IO ()
+t' 0 = putStrLn "Success!"
+t' numberOfTests = do
   seed <- randomIO
   passed <- test seed
   if passed
-    then t (numberOfTests - 1)
+    then t' (numberOfTests - 1)
     else return ()
+
+t :: IO ()
+t = t' 100