diff options
| author | Björn Gustavsson <[email protected]> | 2014-02-25 11:36:01 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2014-02-28 11:57:05 +0100 |
| commit | e45fb925416ae43a3956366bf015aa74b77b7cfe (patch) | |
| tree | 8d696ad8cb750bfc5e91d338d688d55957122fcb /lib/asn1/test/asn1_SUITE_data | |
| parent | 7505ac9334c0e0a62dd81f9e0fdee8a1a5a7eb01 (diff) | |
| download | otp-e45fb925416ae43a3956366bf015aa74b77b7cfe.tar.gz otp-e45fb925416ae43a3956366bf015aa74b77b7cfe.tar.bz2 otp-e45fb925416ae43a3956366bf015aa74b77b7cfe.zip | |
asn1ct_check: Clean up error checking for INSTANCE OF
This will also eliminate a dialyzer warning for unmatched returns,
and increase the coverage.
Diffstat (limited to 'lib/asn1/test/asn1_SUITE_data')
| -rw-r--r-- | lib/asn1/test/asn1_SUITE_data/INSTANCEOF.asn1 | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/asn1/test/asn1_SUITE_data/INSTANCEOF.asn1 b/lib/asn1/test/asn1_SUITE_data/INSTANCEOF.asn1 index 8c4f3a8f7e..b4ea943040 100644 --- a/lib/asn1/test/asn1_SUITE_data/INSTANCEOF.asn1 +++ b/lib/asn1/test/asn1_SUITE_data/INSTANCEOF.asn1 @@ -16,7 +16,9 @@ Names ::= SEQUENCE { thirdName [2] INSTANCE OF OTHER-NAME ({TI}) } -OTHER-NAME ::= TYPE-IDENTIFIER +OTHER-NAME ::= YET-ANOTHER-NAME + +YET-ANOTHER-NAME ::= TYPE-IDENTIFIER TI OTHER-NAME ::= {{INTEGER IDENTIFIED BY {2 4}} | {Seq IDENTIFIED BY {2 3 4}} | |