diff options
Diffstat (limited to 'testsuite.py')
| -rw-r--r-- | testsuite.py | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite.py b/testsuite.py index 11d3ef6..17c7f9e 100644 --- a/testsuite.py +++ b/testsuite.py @@ -918,6 +918,22 @@ g verify_assignable("M_SEL_M_VIS_TRI", (1 ,)) verify_assignable("M_SEL_N_VIS_TRI", ( )) + # Symbols implied to y + verify_assignable("Y_IMP_Y_VIS_BOOL", (0, 2)) + verify_assignable("Y_IMP_M_VIS_BOOL", (0, 2)) # Visibility promoted + verify_assignable("Y_IMP_N_VIS_BOOL", ( )) + verify_assignable("Y_IMP_Y_VIS_TRI", (0, 2)) # m removed by imply + verify_assignable("Y_IMP_M_VIS_TRI", (0, 2)) # m promoted to y by imply + verify_assignable("Y_IMP_N_VIS_TRI", ( )) + + # Symbols implied to m (never affects assignable values) + verify_assignable("M_IMP_Y_VIS_BOOL", (0, 2)) + verify_assignable("M_IMP_M_VIS_BOOL", (0, 2)) # Visibility promoted + verify_assignable("M_IMP_N_VIS_BOOL", ( )) + verify_assignable("M_IMP_Y_VIS_TRI", (0, 1, 2)) # m removed by imply + verify_assignable("M_IMP_M_VIS_TRI", (0, 1 )) # m promoted to y by imply + verify_assignable("M_IMP_N_VIS_TRI", ( )) + print("Testing object relations") |