Lines Matching defs:s3
72 std::string s3 = std::string(ch3.name());73 sc_assert(s3.substr(0,6) == "object");74 check_form_of_suffix(s3.substr(6));75 sc_assert(s3 != s1);76 sc_assert(s3 != s2);84 sc_assert(s4 != s3);92 sc_assert(s5 != s3);101 sc_assert(s6 != s3);110 sc_assert(s7 != s3);122 sc_assert(s8 != s3);