Sfoglia il codice sorgente

sanitizers don't need valgrind

tags/v0.0.1
Thom Wiggers 5 anni fa
parent
commit
9c4aebd8e3
Non sono state trovate chiavi note per questa firma nel database ID Chiave GPG: 1BB0A7CE26E363
1 ha cambiato i file con 0 aggiunte e 1 eliminazioni
  1. +0
    -1
      test/test_functest.py

+ 0
- 1
test/test_functest.py Vedi File

@@ -53,7 +53,6 @@ def check_functest_sanitizers(implementation):
else:
print("Supported platform: {}".format(platform.machine()))

helpers.ensure_available('valgrind')
helpers.make('clean-scheme', 'functest',
TYPE=implementation.scheme.type,
SCHEME=implementation.scheme.name,


Caricamento…
Annulla
Salva