Project

General

Profile

Bug #1997

Table completeness: NoVal should not be considered as an option value of the input.

Added by Anonymous over 6 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
04/02/2014
Due date:
% Done:

100%

Estimated time:

Description

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.

issue completeness checking.PNG (37.6 KB) issue completeness checking.PNG Anonymous, 04/02/2014 11:00 AM

History

#1 Updated by Anonymous over 6 years ago

  • Target version changed from Phoenix 2.5 Release to Phoenix 2.6 Release

#2 Updated by Anonymous over 6 years ago

  • Subject changed from NoVal should not be considered as an option value of the input. to Table completeness: NoVal should not be considered as an option value of the input.

#3 Updated by Anonymous over 6 years ago

  • Target version changed from Phoenix 2.6 Release to AF3 2.6 RC3 Quality fixed

#4 Updated by Anonymous over 6 years ago

  • Assignee deleted (Anonymous)

#5 Updated by Anonymous over 6 years ago

  • Assignee set to Anonymous

#6 Updated by Anonymous over 6 years ago

I need an example model because I'm not really familiar with the "advanced tables" in af3.

#7 Updated by Anonymous over 6 years ago

  • Assignee changed from Anonymous to Anonymous

#8 Updated by Anonymous over 6 years ago

  • Status changed from New to In Progress
  • % Done changed from 0 to 50

#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.

Also available in: Atom PDF