Commit 1c77933f authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Update test case

parent 3af8fb58
......@@ -3,6 +3,8 @@ BEGIN
EmptySeq ::= SEQUENCE {}
AnotherEmptySeq ::= SEQUENCE {}
NullType ::= NULL
ChoiceWithEmptySeq ::= CHOICE {
......@@ -18,7 +20,10 @@ n1 NullType ::= NULL
c2 ChoiceWithEmptySeq ::= a: NULL
c3 ChoiceWithEmptySeq ::= b: {}
c4 ChoiceWithEmptySeq ::= c: NULL
c5 AnotherEmptySeq ::= {}
-- Type below is accepted by ASN.1 compiler but that's wrong
-- c6 ChoiceWithEmptySeq ::= b: c5
END
......@@ -30,15 +30,15 @@ dcl null1 NullType;
dcl choice1 ChoiceWithEmptySeq := a: n1;
/* CIF ENDTEXT */
/* CIF START (155, 216), (70, 35) */
/* CIF START (160, 226), (70, 35) */
START;
/* CIF TASK (132, 266), (115, 35) */
/* CIF TASK (137, 276), (115, 35) */
TASK empty1 := c1;
/* CIF TASK (118, 316), (144, 35) */
/* CIF TASK (130, 326), (130, 35) */
TASK choice1 := b: c1;
/* CIF TASK (141, 366), (97, 35) */
/* CIF TASK (146, 376), (97, 35) */
TASK null1 := n1;
/* CIF NEXTSTATE (155, 416), (70, 35) */
/* CIF NEXTSTATE (160, 426), (70, 35) */
NEXTSTATE wait;
/* CIF STATE (296, 231), (70, 35) */
STATE wait;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment