mirror of
https://github.com/Z3Prover/z3
synced 2026-03-16 02:00:00 +00:00
317dd92105
* Initial plan * Convert postfix to prefix increment in for loops Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Fix member variable increment conversion bug Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * Update API generator to produce prefix increments Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
52 lines
872 B
C++
52 lines
872 B
C++
/*++
|
|
Copyright (c) 2006 Microsoft Corporation
|
|
|
|
Module Name:
|
|
|
|
tst_string_buffer.cpp
|
|
|
|
Abstract:
|
|
|
|
Test string buffer
|
|
|
|
Author:
|
|
|
|
Leonardo de Moura (leonardo) 2006-10-14.
|
|
|
|
Revision History:
|
|
|
|
--*/
|
|
#include<cstdlib>
|
|
#include "util/debug.h"
|
|
#include "util/string_buffer.h"
|
|
#include "util/trace.h"
|
|
|
|
static void tst1() {
|
|
string_buffer<> b;
|
|
b << "Testing" << 10 << true;
|
|
ENSURE(strcmp(b.c_str(), "Testing10true") == 0);
|
|
}
|
|
|
|
static void tst2() {
|
|
string_buffer<> b;
|
|
for (unsigned i = 0; i < 10000; ++i) {
|
|
int r = rand() % 10;
|
|
b << r;
|
|
}
|
|
TRACE(string_buffer, tout << b.c_str() << "\n";);
|
|
ENSURE(strlen(b.c_str()) == 10000);
|
|
}
|
|
|
|
static void tst3() {
|
|
string_buffer<32> b;
|
|
string_buffer<128> b2;
|
|
b2 << "World";
|
|
b << "Hello" << " " << b2;
|
|
ENSURE(strcmp(b.c_str(), "Hello World") == 0);
|
|
}
|
|
|
|
void tst_string_buffer() {
|
|
tst1();
|
|
tst2();
|
|
tst3();
|
|
}
|