ThanhVu (Vu) Nguyen

is there something I can do to help make the merge happen? It has been almost 3 months.

Hi @MartinSpiessl, thanks for checking these overflow problems. I am not sure how to fix them. For example, https://github.com/sosy-lab/sv-benchmarks/blob/ea7880ba32cb1c3c5a6276a29ded8efe29194a06/c/nla-digbench/divbin.c#L30 Suggestion ?

@dbeyer, yes, will create a PR in a couple of days.

@MartinSpiessl I've made some changes and created a PR https://github.com/sosy-lab/sv-benchmarks/pull/837. Could you take a look to see if these changes fix the issues? Thanks,

I do not understand the test validation failure. It says > WARNING: Invalid homepage URL (https://cs.gmu.edu/~fangyiyu/). Please provide a correct URL. But the website `https://cs.gmu.edu/~fangyiyu/` *is* valid.

or `quickcheck` (property testing)

Thanks for the quick and useful reply. `xreplace` is indeed much faster and also does what I need, so I will just use `xreplace` then. Below is some log showing...