search

Barnard-PL-Labs / tsltools

Library and tools for the TSL specification format
Other
7 stars 4 forks source link

add warning when ltlsynt not found #55

Closed santolucito closed 11 months ago

santolucito commented 1 year ago

either to makefile to tslsynth exe or both

leoqiao18 commented 1 year ago

57 I think tslsynth is the only place we need to check this?

leoqiao18 commented 11 months ago

Implemented in #60