Previously if there was any error due to an unsupported element, no verification was performed at all. With this update, errors are localized to functions: if there is an error within the body of a function, the body will be ignored (with a warning message) and only the specification of the function will be used. This way we can still provide some results, with the assumption that the skipped functions are correct.
Checklist
[x] Code compiles correctly
[x] All tests are passing
[x] New tests have been created which fail without the change (if possible)
Description
Previously if there was any error due to an unsupported element, no verification was performed at all. With this update, errors are localized to functions: if there is an error within the body of a function, the body will be ignored (with a warning message) and only the specification of the function will be used. This way we can still provide some results, with the assumption that the skipped functions are correct.
Checklist