Function str_suffixof 

pub fn str_suffixof(s1: &SmtString, s2: &SmtString) -> bool

Check whether s1 is a suffix of s2

Examples

use aws_smt_strings::smt_strings::*;

let s1 = SmtString::from("abcdef");
let s2 = SmtString::from("def");
let s3 = SmtString::from("bbb");

assert!(str_suffixof(&s2, &s1));
assert!(str_suffixof(&s1, &s1));
assert!(str_suffixof(&EMPTY, &s3));

assert!(! str_suffixof(&s3, &s1));