Lines Matching defs:s5
87 std::string s5 = std::string(ch5.name());88 sc_assert(s5.substr(0,6) == "object");89 check_form_of_suffix(s5.substr(6));90 sc_assert(s5 != s1);91 sc_assert(s5 != s2);92 sc_assert(s5 != s3);93 sc_assert(s5 != s4);103 sc_assert(s6 != s5);112 sc_assert(s7 != s5);124 sc_assert(s8 != s5);