verivital / hyst

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

bugfix for lut conversion #20

Closed stanleybak closed 8 years ago

stanleybak commented 8 years ago

This fixes a difficult-to-detect bug where if the input parameters to a lut expression used a variable with a derivative that contained a lut expression, the created transition guard would be incorrect. A test was added to detect this problem, and it now passes after the problem was fixed. Please review code changes Taylor, and accept if it looks reasonable.