Maybe crash bug caused by stack overflow in Souper?
I need clang_delta to crash. Usually this only happens for weird C++ files and I haven't been doing that lately.
John
- [creduce-bugs] Stuck in param-to-global/param-to-local... Markus Trippelsdorf
- Re: [creduce-bugs] Stuck in param-to-global/param... John Regehr
- Re: [creduce-bugs] Stuck in param-to-global/p... Yang Chen
- Re: [creduce-bugs] Stuck in param-to-glob... John Regehr
- Re: [creduce-bugs] Stuck in param-to-... Eric Eide
- Re: [creduce-bugs] Stuck in para... John Regehr
- Re: [creduce-bugs] Stuck in ... Eric Eide
- Re: [creduce-bugs] Stuck in param-to-global/param... John Regehr
- Re: [creduce-bugs] Stuck in param-to-global/p... Yang Chen
- Re: [creduce-bugs] Stuck in param-to-glob... Yang Chen
- Re: [creduce-bugs] Stuck in param-to-glob... John Regehr
- Re: [creduce-bugs] Stuck in param-to-global/p... John Regehr
- Re: [creduce-bugs] Stuck in param-to-glob... Eric Eide
- Re: [creduce-bugs] Stuck in param-to-... John Regehr
- Re: [creduce-bugs] Stuck in para... Eric Eide
- Re: [creduce-bugs] Stuck in param-to-global/param... Yang Chen
