+set(umpire_tests_passing
+ change-send-buffer
+ comm-dup-no-error
+ comm-dup-no-free
+ comm-dup-no-free2
+ comm-simple
+ comm-split-no-free
+ comm-translate-ranks
+ hello
+ no-error
+ no-error2
+ no-error3
+ no-error3-any_src
+ no-error-any_src
+ no-error-interleaved-isend
+ no-error-test
+ no-error-testall
+ no-error-testany
+ no-error-vector-isend
+ no-error-wait
+ no-error-waitany-any_src2
+ no-error-waitany-any_src3
+ no-error-waitany
+ no-error-wait-any_src
+ no-error-wait-any_src2
+ no-error-wait-any_src3
+ no-error-wait-any_src4
+ no-error-waitany-any_src
+ partial-recv
+ sendrecv-deadlock
+ send-recv-ok
+ irecv-isend-ok
+ irecv-isend-ok2
+ lost-request-waitall
+ ) # Passing (no deadlock) tests
+
+# These are supposed to deadlock but ISP does not find deadlock
+# and we don't either. What should be test here?
+set(umpire_tests_missed_deadlock
+ any_src-deadlock
+ any_src-can-deadlock
+ any_src-can-deadlock2
+ any_src-can-deadlock3
+ )
+
+set(umpire_tests_deadlock
+ any_src-can-deadlock10
+ any_src-can-deadlock10_mod
+ any_src-can-deadlock11
+ any_src-can-deadlock4
+ any_src-can-deadlock4_mod
+ any_src-can-deadlock5
+ any_src-can-deadlock5_mod
+ any_src-can-deadlock6
+ any_src-can-deadlock6_mod
+ any_src-can-deadlock7
+ any_src-can-deadlock8
+ any_src-can-deadlock9
+ any_src-waitall-deadlock
+ any_src-waitall-deadlock2
+ any_src-waitall-deadlock3
+ any_src-waitany-deadlock2
+ any_src-waitany-deadlock
+ any_src-wait-deadlock
+ any_src-wait-deadlock2
+ basic-deadlock
+ basic-deadlock-comm_create
+ basic-deadlock-comm_dup
+ basic-deadlock-comm_split
+ bcast-deadlock
+ collective-misorder
+ collective-misorder2
+ collective-misorder-allreduce
+ comm-bcast-deadlock
+ comm-deadlock
+ complex-deadlock
+ dropped-req
+ finalize-deadlock
+ irecv-deadlock
+ waitall-deadlock
+ waitany-deadlock
+ wait-deadlock
+ ) # failing (deadlocking) tests
+
+set(umpire_tests_problematic
+ deadlock-config # No deadlock detected by ISP unless MPI_Send blocking activated
+
+ ) # problematic tests
+
+ # These files are not listed on http://formalverification.cs.utah.edu/ISP_Tests/
+set(umpire_src_other