good_char

aws_smt_strings::smt_strings

Function good_char 

Source 
pub fn good_char(x: u32) -> bool
Expand description

Check whether an integer is a valid SMT character

This checks whether integer x is less than or equal to MAX_CHAR.