We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents fd594bb + df79266 commit f204230Copy full SHA for f204230
1 file changed
src/domain/domain_spawntree.ml
@@ -89,7 +89,7 @@ let t ~max_height ~max_degree = Test.make
89
Atomic.get a = interp 0 c
90
with
91
| Failure s ->
92
- if s = "failed to allocate domain"
+ if s = "failed to allocate domain" || s = "failed to allocate domain: domain_create"
93
then true
94
else (Printf.printf "Failure \"%s\"\n%!" s; false)
95
))
0 commit comments