Joe Farebrother
|
ea562de3e6
|
Fix tests
|
2025-09-09 15:17:16 +01:00 |
|
Joe Farebrother
|
b01b40b51b
|
Update test output
|
2025-09-09 13:44:03 +01:00 |
|
Joe Farebrother
|
e382f7cd43
|
Improve check for containment in with statement
|
2025-09-09 11:26:17 +01:00 |
|
Joe Farebrother
|
0b293eaba5
|
Update test output
|
2025-09-05 22:43:21 +01:00 |
|
Joe Farebrother
|
bd3fa7fb21
|
Switch to dataflow check for guards exceptions
This reduces some confusing FPs, though appears to introduce another
|
2025-09-05 16:03:55 +01:00 |
|
Joe Farebrother
|
57a0c7a1ab
|
Performance fix - Use basic blocks instead of full cfg reachability.
|
2025-06-02 14:33:52 +01:00 |
|
Joe Farebrother
|
3707f107bf
|
Fix tests + add more tests
|
2025-03-20 11:35:38 +00:00 |
|
Joe Farebrother
|
b2acfbcf87
|
Simplify handling of wrapper classes and exception flow + improve qldoc and annotate tests.
|
2025-03-20 11:35:18 +00:00 |
|
Joe Farebrother
|
f750e22d91
|
Add case for exception flow
|
2025-03-20 11:35:01 +00:00 |
|
Joe Farebrother
|
ecb3050780
|
Update tests
|
2025-03-20 11:34:42 +00:00 |
|