[bug][slang] Fix case selector huge bitwidth segmentation fault #2273
| Job | Run time |
|---|---|
| 12m 33s | |
| 45m 3s | |
| 6m 1s | |
| 8m 42s | |
| 8m 50s | |
| 8m 10s | |
| 5m 49s | |
| 13m 37s | |
| 11m 0s | |
| 10m 9s | |
| 2h 9m 54s |
| Job | Run time |
|---|---|
| 12m 33s | |
| 45m 3s | |
| 6m 1s | |
| 8m 42s | |
| 8m 50s | |
| 8m 10s | |
| 5m 49s | |
| 13m 37s | |
| 11m 0s | |
| 10m 9s | |
| 2h 9m 54s |