test0.out
859 Bytes
requested value of integer is too big; returning INT_MAX
caught expected type error
overflow while converting integer object; returning largest possible value
underflow while converting integer object; returning smallest possible value
caught expected int8_t overflow error
caught expected int8_t underflow error
overflow while converting integer object; returning largest possible value
underflow while converting integer object; returning smallest possible value
caught expected uint8_t overflow error
caught expected uint8_t underflow error
requested value of unsigned integer is too big; returning UINT_MAX
unsigned value request for negative number; returning 0
requested value of integer is too small; returning INT_MIN
unsigned integer value request for negative number; returning 0
requested value of integer is too big; returning INT_MAX
test 0 done