search

lnis-uofu / LSOracle

IDEA project source files
MIT License
97 stars 41 forks source link

Error in `lsoracle': free(): invalid pointer: 0x00000000344e8f00 #95

Open foggy-slt opened 1 year ago

foggy-slt commented 1 year ago

Hi I'm having a problem with the LSOracle.

This is my step： lsoracle> read_aig abc_bef.aig lsoracle> oracle --strategy depth

But crash in aig_scripts3.

** Error in `lsoracle': free(): invalid pointer: 0x00000000344e8f00 ======= Backtrace: ========= /usr/lib64/libc.so.6(+0x766c0)[0x7f3da0adc6c0] /usr/lib64/libc.so.6(+0x7c1d8)[0x7f3da0ae21d8] /usr/lib64/libc.so.6(+0x7cdbc)[0x7f3da0ae2dbc] lsoracle[0x532738] lsoracle[0x53289a] lsoracle[0x4830ba] lsoracle[0x6770c5]**

image Is this because the cache exploded？ I'm locating the problem in function mockturtle::refactoring(aig, rf_resyn, rp);. But I don't know how to solve it. The zip contains the AIG circuit I tested.

Upload a case below. Thanks!

abc_bef.zip