basic-4_5.gold

INPUTS
  s0 :: SWord8, aliasing "x"
CONSTANTS
  s1 = 1 :: Word8
TABLES
UNINTERPRETED CONSTANTS
USER GIVEN CODE SEGMENTS
AXIOMS-DEFINITIONS
DEFINE
  s2 :: SWord8 = s0 + s1
CONSTRAINTS
ASSERTIONS
OUTPUTS
  s2