Xintong Zhou
Xintong Zhou
I agree, and setting presolve on/off doesn't change anything.
The proportion is not large, given the large number of all the instances generated. I am actually using some generation approaches to generate a large number of cases for stress...
Just got a similar case [seed.mps.txt](https://github.com/user-attachments/files/18746098/seed.mps.txt) seems because of the same issue, but not 100% sure. So attach it here for reference. ``` root@b9f8d0525121:/tmp/fuzz-mip# highs --model_file seed.mps --presolve on ....
Just test this case on latest branch which has merged the fix of #2171. The issue still exists. So I am not sure it's a duplicate of 2171.
I am not sure, since the crash still happens on the `latest` branch
yes I pulled and rebuilt. let me double check.
Yes, `presolve=off` in the option file. I just double-checked, and I can still produce the bug on version `acf51510d`
Ah I am actually doing fuzzing for mip solvers, not only highs, but also scip, CBC, etc.
Thanks for examining these issues!
I guess this is because the newest `cbc` need an explicit cmd option `-solve` to solve the problem