search

verivital / hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
http://verivital.com/hyst/
Other
15 stars 18 forks source link

Cleanup in order reduction pass #23

Open stanleybak opened 8 years ago

stanleybak commented 8 years ago

I noticed two things looking through the code which we may want to clean up:

  1. There is a general catch(Exception e). Exceptions should generally be more specific (for example NumberFormatException rather than catching the superclass Exception, as was written in our style guide.
  2. automaton validation was turned off: config.DO_VALIDATION = false;. Why was this necessary?