tests/tests-randomized/bundles/02-INTEGER-bundle.txt

   1 -- Test encoding/decoding/transcoding of everything concerning the integer.
   2 T ::= INTEGER
   3 T ::= [1] INTEGER -- Tagged integer test
   4 T ::= [300] INTEGER -- Large tag integer
   5 T ::= INTEGER (MIN..MAX)  -- Constrained integer
   6 T ::= INTEGER (0..1)  -- Constrained integer
   7 T ::= INTEGER (0..255)  -- Constrained integer
   8 T ::= INTEGER (-128..127)  -- Constrained integer
   9 T ::= INTEGER (-128..127,...)  -- Extensible constrained integer
  10 T ::= INTEGER { foo(0), bar(1), baz(2) }