diff options
author | 2019-08-15 00:39:24 +1000 | |
---|---|---|
committer | 2019-08-14 07:39:24 -0700 | |
commit | 9b7b96fe1963350c1243b3b98f0fa889f49555c9 (patch) | |
tree | 5e2c8c4293766c515b7f1a828fba7fe137588459 | |
parent | 44c996035ad5b260b0a7d4c1d25d2e8c9f8b3b04 (diff) |
[minizinc] License header and enable bug filing MSan (#2694)
* [minizinc] Add license header in the fuzzer and set experimental flag to False for the MemorySanitizer
* Enable MSan the right way
-rw-r--r-- | projects/minizinc/minizinc_fuzzer.cpp | 18 | ||||
-rw-r--r-- | projects/minizinc/project.yaml | 3 |
2 files changed, 19 insertions, 2 deletions
diff --git a/projects/minizinc/minizinc_fuzzer.cpp b/projects/minizinc/minizinc_fuzzer.cpp index c3b61292..f4bbc28d 100644 --- a/projects/minizinc/minizinc_fuzzer.cpp +++ b/projects/minizinc/minizinc_fuzzer.cpp @@ -1,3 +1,21 @@ +/* +# Copyright 2019 Google Inc. +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. +# +################################################################################ +*/ + #include <minizinc/solver.hh> using namespace std; diff --git a/projects/minizinc/project.yaml b/projects/minizinc/project.yaml index 670cb5a4..bc42b9a3 100644 --- a/projects/minizinc/project.yaml +++ b/projects/minizinc/project.yaml @@ -5,5 +5,4 @@ auto_ccs: - "guido.tack@monash.edu" sanitizers: - address - - memory: - experimental: True + - memory |