search

gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
GNU General Public License v3.0
4 stars 3 forks source link

The tool panics and declares UNREAL on std::bad_alloc #30

Open gaperez64 opened 1 year ago

gaperez64 commented 1 year ago

See related bug #28 in the opposite direction.

For an example, see https://www.starexec.org/starexec/secure/details/pair.jsp?id=612428966

gaperez64 commented 4 months ago

@michaelcadilhac fixed this in 976dee79d419a3ed1fbbf2b9e19adb4e8f4debbc

gaperez64 commented 4 months ago

Nope, this is still an issue. See benchmark amba_decomposed_encode20.tlsf for instance.