STL OCRA contract verification not working on Windows
Try to verify OCRA contracts for STL in windows.
Expected: They should succeed with SUCCESS status
Actual: Status is ERROR
#1 Updated by Anonymous almost 2 years ago
The root of the problem is that I am using #define in my orca specification for functions and enums.
There are two possible options -
1) Talk to fbk ppl and ask them about this issue.
2) Find a workaround, i.e. replace the preprocessor with the actual value. This might be OK for functions without parameters, but if a function is taking a parameter then we will have to replace the function call with actual body instantiated with the actual parameter.
There is a 3rd option also - state that OCRA contracts are not fully supported on windows.