Support more constants for function parameter default values #1211
Labels
resolution: fixed
Closed; fixed
type: feature-IEEE
Request to add new feature, described in IEEE 1800
Author Name: Mike Popoloski
Original Redmine Issue: 1211 from https://www.veripool.org
Original Assignee: Mike Popoloski
Functions sort of supported constant default values, but not when assigned from something like a parameter or another function call. I made a minor change that fixes it for our use cases; I'm not sure if it's actually the correct thing to do in all circumstances but it seems like a relatively safe change because any code that will hit it would otherwise not compile anyway.
The text was updated successfully, but these errors were encountered: