The tool panics when killed/signaled and declares REALIZABLE

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 when killed/signaled and declares REALIZABLE #28

Closed gaperez64 closed 3 months ago

gaperez64 commented 1 year ago

See here for an example of this behavior.

It might be that the main process is stuck waiting for the unreal one and after the signal it realizes it was already marked as realizable? Rather it looks like it defaults to REALIZABLE when killed, so I'm marking this as a bug.

gaperez64 commented 3 months ago

@michaelcadilhac fixed this in 976dee79d419a3ed1fbbf2b9e19adb4e8f4debbc