add permutation unit tests #7300
Conversation
|
/usr/bin/clang++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/vsts/work/1/s/build/src -I/home/vsts/work/1/s/src -Werror=odr -Werror=return-type -Werror=delete-non-virtual-dtor -Werror=overloaded-virtual -Werror=non-virtual-dtor -Werror=null-dereference -fcolor-diagnostics -O2 -g -DNDEBUG -std=gnu++17 -mfpmath=sse -msse -msse2 -Wall -MD -MT src/test/CMakeFiles/test-z3.dir/permutation.cpp.o -MF src/test/CMakeFiles/test-z3.dir/permutation.cpp.o.d -o src/test/CMakeFiles/test-z3.dir/permutation.cpp.o -c /home/vsts/work/1/s/src/test/permutation.cpp |
src/test/permutation.cpp
Outdated
| /*++ | ||
| Copyright (c) 2012 Microsoft Corporation | ||
| #include <iostream> | ||
| #include "permutation.h" |
There was a problem hiding this comment.
the include path should be "util/permutation.h"
|
I guess you need to include something for in permutation.cpp. The build on mac says: ../src/test/permutation.cpp:81:24: error: implicit instantiation of undefined template 'std::basic_ostringstream' |
|
The unit test fails |
* add permutation unit tests * update test * update * Update permutation.cpp fix macos build --------- Co-authored-by: Nikolaj Bjorner <nbjorner@microsoft.com>
The old unit test does not run at all.