You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
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]**
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
The text was updated successfully, but these errors were encountered: