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 4a1e332 commit 6a9f0a9
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 6a9f0a9

Please sign in to comment.