You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It would be good to generate warnings (depending on the backend) when:
generating recursive functions for a backend which doesn't support the fixed-point encoding, so that the user is aware that they may have to generate the files with options -use-fuel or -decreases-clauses
when generating template files (for decreases clauses or external definitions), so that the user is aware they may need to manually provide models (something extra would be to check if there already exists the required files, and only print a warning if there is a diff in the generated template files)
The text was updated successfully, but these errors were encountered:
It would be good to generate warnings (depending on the backend) when:
-use-fuel
or-decreases-clauses
The text was updated successfully, but these errors were encountered: