mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-21 15:57:35 +00:00
Code Activity

Remove debug test file

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-02-05 17:16:20 +00:00
parent 6e09a06307
commit ae88f4e159
1 changed files with 0 additions and 45 deletions
Download patch file Download diff file Expand all files Collapse all files

45
examples/c++/test_move_simple.cpp
View file

@ -1,45 +0,0 @@
/*++
Copyright (c) 2026 Microsoft Corporation
Simple test file for move semantics of z3::context
--*/
#include <iostream>
#include <utility>
#include "z3++.h"
using namespace z3;
int main() {
std::cout << "Test 1: Move constructor\n";
{
context c1;
std::cout << "Created c1\n";
context c2(std::move(c1));
std::cout << "Moved c1 to c2\n";
expr x = c2.int_const("x");
std::cout << "Created expression in c2\n";
}
std::cout << "Test 1 passed!\n\n";
std::cout << "Test 2: Move assignment\n";
{
context c1;
std::cout << "Created c1\n";
context c2;
std::cout << "Created c2\n";
c2 = std::move(c1);
std::cout << "Move assigned c1 to c2\n";
expr x = c2.int_const("x");
std::cout << "Created expression in c2\n";
}
std::cout << "Test 2 passed!\n\n";
std::cout << "All tests passed!\n";
return 0;
}