in common/rusty_leveldb_sgx/src/cmp.rs [198:231]
fn test_cmp_defaultcmp_shortest_sep() {
assert_eq!(
DefaultCmp.find_shortest_sep("abcd".as_bytes(), "abcf".as_bytes()),
"abce".as_bytes()
);
assert_eq!(
DefaultCmp.find_shortest_sep("abc".as_bytes(), "acd".as_bytes()),
"abd".as_bytes()
);
assert_eq!(
DefaultCmp.find_shortest_sep("abcdefghi".as_bytes(), "abcffghi".as_bytes()),
"abce".as_bytes()
);
assert_eq!(
DefaultCmp.find_shortest_sep("a".as_bytes(), "a".as_bytes()),
"a".as_bytes()
);
assert_eq!(
DefaultCmp.find_shortest_sep("a".as_bytes(), "b".as_bytes()),
"a\0".as_bytes()
);
assert_eq!(
DefaultCmp.find_shortest_sep("abc".as_bytes(), "zzz".as_bytes()),
"b".as_bytes()
);
assert_eq!(
DefaultCmp.find_shortest_sep("yyy".as_bytes(), "z".as_bytes()),
"yyz".as_bytes()
);
assert_eq!(
DefaultCmp.find_shortest_sep("".as_bytes(), "".as_bytes()),
"".as_bytes()
);
}