diff options
Diffstat (limited to 'projects/minizinc/project.yaml')
-rw-r--r-- | projects/minizinc/project.yaml | 3 |
1 files changed, 1 insertions, 2 deletions
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 |