search

nickovic / rtamt

Specification-based real-time monitoring library
BSD 3-Clause "New" or "Revised" License
50 stars 20 forks source link

naming of LTLPastifyException #153

Open TomyYamy opened 2 years ago

TomyYamy commented 2 years ago

LTLPastifyException is correct? Because LTL does not have time bound operators. I remember history of the implementation

TomyYamy commented 2 years ago

Perhaps, we can give up make exception class and just use basic exception with text.