Searched refs:stringTest2 (Results 1 – 2 of 2) sorted by relevance
304 std::string stringTest2 = "The word 'this' should be read"; in decodeVarTest() local305 float out2 = gpstk::BinUtils::decodeVar<float>(stringTest2, 10); in decodeVarTest()353 std::string stringTest2 = "The word 'this' should be read"; in decodeVarLETest() local354 float out2 = gpstk::BinUtils::decodeVarLE<float>(stringTest2, 10); in decodeVarLETest()379 std::string stringTest2 = gpstk::BinUtils::encodeVar<uint32_t>(test2); in encodeVarTest() local380 TUASSERTE(std::string,"ABCD",stringTest2); in encodeVarTest()411 std::string stringTest2 = gpstk::BinUtils::encodeVarLE<uint32_t>(test2); in encodeVarLETest() local412 TUASSERTE(std::string,"DCBA",stringTest2); in encodeVarLETest()
665 stringTest2 ::670 stringTest2 sym solver = function977 , testCase "Z3 string2" $ withOnlineZ3 stringTest2983 , testCase "CVC4 string2" $ withCVC4 stringTest2