mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 19:52:29 +00:00
Code Activity

Add a test that specifically test the expansion of the memory in string_buffer.

Browse source
This commit is contained in:
Saikat Chakraborty 2024-08-23 16:57:19 +00:00
parent c56a7dff1f
commit d831ce1161
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/test/string_buffer.cpp
View file

@ -45,8 +45,18 @@ static void tst3() {
ENSURE(strcmp(b.c_str(), "Hello World") == 0); ENSURE(strcmp(b.c_str(), "Hello World") == 0);
} }
static void tst_small_buffer_expand(){
string_buffer<4> b;
b << "Hello";
ENSURE(strcmp(b.c_str(), "Hello") == 0);
b << " World";
ENSURE(strcmp(b.c_str(), "Hello World") == 0);
}
void tst_string_buffer() { void tst_string_buffer() {
tst1(); tst1();
tst2(); tst2();
tst3(); tst3();
tst_small_buffer_expand();
} }