test pex

Author: Christine Zhou

.github/workflows/pex.yml

@@ -73,7 +73,7 @@ jobs:
           p check --mode pex -tc tcSingleClient -t 60 --checker-args :--max-choices-per-schedule:1000000:--max-choices-per-call:100
           
           # Check if test was successful
-          if [ $? -ne 2 ]; then
+          if [ $? -ne 3 ]; then
             echo "Error: Test case failed"
             exit 1
           fi