tests/tests-randomized/bundles/05-BIT-STRING-bundle.txt

   1 -- Test encoding/decoding/transcoding of everything concerning the BIT STRING.
   2 T ::= BIT STRING { foo(0) }
   3 T ::= BIT STRING { foo(0) } (SIZE(0..1))
   4 T ::= BIT STRING { foo(0) } (SIZE(1))
   5 T ::= BIT STRING { foo(0) } (SIZE(1..MAX))
   6 T ::= BIT STRING { foo(0) } (SIZE(1..2))
   7 T ::= BIT STRING { foo(0) } (SIZE(2))
   8 T ::= BIT STRING { foo(0) } (SIZE(2,...))
   9 T ::= BIT STRING { foo(0), bar(65535) }
  10 T ::= BIT STRING { foo(0), bar(65535) } (SIZE(0..16))
  11 T ::= BIT STRING { foo(0), bar(65535) } (SIZE(16))
  12 T ::= BIT STRING { foo(0), bar(2147483647) }
  13 T ::= BIT STRING { foo(0), bar(2147483647) } (SIZE(1..MAX))
  14 T ::= BIT STRING { foo(2147483648), bar(0), baz(2147483647) }
  15 T ::= BIT STRING { foo(2147483648), baz(2147483647) }
  16 T ::= BIT STRING { foo(2147483648), baz(2147483647) } (SIZE(32))
  17 T ::= BIT STRING { foo(2147483648), baz(2147483647) } (SIZE(31,...))
  18 T ::= BIT STRING { foo(2147483648), baz(2147483647) } (SIZE(0..32))
  19 T ::= BIT STRING { foo(2147483648), baz(2147483647) } (SIZE(0..31,...))
  20 T ::= BIT STRING { foo(0) } (SIZE(65535))       -- RMAX=65540
  21 T ::= BIT STRING { foo(0) } (SIZE(65536))       -- RMAX=65540
  22 T ::= BIT STRING { foo(0) } (SIZE(65537))       -- RMAX=65540
  23 T ::= BIT STRING { foo(0) } (SIZE(65535,...))   -- RMAX=65540
  24 T ::= BIT STRING { foo(0) } (SIZE(65536,...))   -- RMAX=65540
  25 T ::= BIT STRING { foo(0) } (SIZE(65537,...))   -- RMAX=65540