search

xblahoud / ltlcross_wrapper

Python wrapper of ltlcross from Spot
MIT License
0 stars 1 forks source link

Fix finalization of GoalModulizer workers #1

Closed adl closed 4 years ago

adl commented 4 years ago

Reported by an anonymous CAV'20 reviewer, and discussed on xblahoud/seminator-evaluation#2.