intel / yarpgen

Yet Another Random Program Generator
Other
484 stars 53 forks source link

Segmentation fault with `--allow-ub-in-dc` #185

Open merlinsun opened 1 year ago

merlinsun commented 1 year ago

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!