mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 01:24:08 +00:00
disable msan build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
1ac365ca74
commit
f962dc8b00
|
@ -38,9 +38,11 @@ jobs:
|
|||
# test python bindings
|
||||
# build documentation
|
||||
# Asan, ubsan, msan
|
||||
# Disabled pending clang dependencies for std::unordered_map
|
||||
|
||||
- job: "LinuxMSan"
|
||||
displayName: "Ubuntu build - cmake"
|
||||
condition: eq(0,1)
|
||||
pool:
|
||||
vmImage: "Ubuntu-16.04"
|
||||
strategy:
|
||||
|
|
|
@ -21,7 +21,6 @@ Revision History:
|
|||
#pragma once
|
||||
#include "util/vector.h"
|
||||
#include "math/lp/permutation_matrix.h"
|
||||
#include <unordered_map>
|
||||
#include "math/lp/static_matrix.h"
|
||||
#include <set>
|
||||
#include <utility>
|
||||
|
|
Loading…
Reference in a new issue