Table completeness: NoVal should not be considered as an option value of the input.
When do the Completeness analysis on function tables, NoVal will be considered as an option value of the input.
In so doing, even when the input conditions are complete, a missing condition will be found, and (input == NoVal) will be token as an evidence of the analysis result.
#9 Updated by Anonymous over 6 years ago
- Status changed from In Progress to Closed
- % Done changed from 50 to 100
Solved. Even though the issue should almost be rejected since the semantics of AF3 do allow NoVal as an input value...
But we can assume that the user maybe actually wants to check the completeness without NoVal, just for his own information, so I still solved it.