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

Time wanted is hardcoded #27

Closed gaperez64 closed 1 year ago

gaperez64 commented 1 year ago

@michaelcadilhac StarExec is not liking the format of our prints for time messages. More importantly, the option of having them or not seems to be hardcoded! How about we set this based on whether NDEBUG is defined?