forked from diffblue/cbmc
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathstring_utils.cpp
50 lines (41 loc) · 1.07 KB
/
string_utils.cpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
#include <cassert>
#include <vector>
#include <string>
#include <util/string_utils.h>
int main()
{
assert(strip_string(" x y ")=="x y");
const std::string test=" a,, x , ,";
std::vector<std::string> result;
split_string(test, ',', result, false, false);
assert(result.size()==5);
assert(result[0]==" a");
assert(result[1]=="");
assert(result[2]==" x ");
assert(result[3]==" ");
assert(result[4]=="");
result.clear();
split_string(test, ',', result, true, false);
assert(result.size()==5);
assert(result[0]=="a");
assert(result[1]=="");
assert(result[2]=="x");
assert(result[3]=="");
assert(result[4]=="");
result.clear();
split_string(test, ',', result, false, true);
assert(result.size()==3);
assert(result[0]==" a");
assert(result[1]==" x ");
assert(result[2]==" ");
result.clear();
split_string(test, ',', result, true, true);
assert(result.size()==2);
assert(result[0]=="a");
assert(result[1]=="x");
std::string s1;
std::string s2;
split_string("a:b", ':', s1, s2, false);
assert(s1=="a");
assert(s2=="b");
}