Skip to content

Commit

Permalink
Don't run IOSimPOR on Windows
Browse files Browse the repository at this point in the history
  • Loading branch information
coot committed Aug 7, 2023
1 parent 949d2e1 commit 747d03d
Showing 1 changed file with 3 additions and 0 deletions.
Expand Up @@ -175,7 +175,10 @@ tests =

, testGroup "races"
[ nightlyTest $ testProperty "governor no livelock" $ prop_explore_governor_nolivelock
-- `IOSimPOR` is consumes too much RAM on Windows
#if !defined(mingw32_HOST_OS)
, testProperty "governor connection status" $ prop_explore_governor_connstatus
#endif
]
]
--TODO: We should add separate properties to check that we do not overshoot
Expand Down

0 comments on commit 747d03d

Please sign in to comment.