Skip to content

Commit fa57616

Browse files
Add tests for ASYNC escaping CATCH.
1 parent b26b38c commit fa57616

1 file changed

Lines changed: 27 additions & 0 deletions

File tree

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
BOOL: caught = FALSE
2+
3+
TRY{
4+
THR: worker = ASYNC{
5+
FREEZE(not_declared)
6+
}
7+
} CATCH {
8+
caught = TRUE
9+
}
10+
11+
ASSERT(NOT(caught))
12+
13+
14+
! Also ensure awaiting the failed thread does not synchronously raise
15+
BOOL: caught_await = FALSE
16+
17+
THR: worker2 = ASYNC{
18+
FREEZE(not_declared)
19+
}
20+
21+
TRY{
22+
AWAIT(worker2)
23+
} CATCH {
24+
caught_await = TRUE
25+
}
26+
27+
ASSERT(NOT(caught_await))

0 commit comments

Comments
 (0)