Segmentation fault with `--allow-ub-in-dc`
Open
- Dominant language
- C++
- Stars
- 570
- Forks
- 65
- PR merge metrics
- No merged PRs in 30d
Description
Hi,
I'm experiencing a segmentation fault when using yarpgen with the `--allow-ub-in-dc=some` option.
Here's the command and the resulting error:
```
$ /root/yarpgen/build/yarpgen -s 167966503 --allow-ub-in-dc=some
/*SEED 167966503*/
Segmentation fault (core dumped)
$ /root/yarpgen/build/yarpgen --version
yarpgen version 2.0 (build 29a67b2 on 2023:08:03)
```
Could you please take a look at this issue?
Thanks!
Contributor guide
Assessment
This issue has not been assessed yet.