Skip to content

Commit 087b233

Browse files
committed
Daca2: don't skip flite anymore. Analysis without MAXTIME is still very slow.
1 parent cef6b35 commit 087b233

1 file changed

Lines changed: 1 addition & 2 deletions

File tree

tools/daca2.py

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -150,11 +150,10 @@ def scanarchive(filepath, jobs):
150150
# List of skipped packages - which trigger known yet unresolved problems with cppcheck.
151151
# The issues on trac (http://trac.cppcheck.net) are given for reference
152152
# boost #3654 (?)
153-
# flite #5975
154153
# insight#5184
155154
#
156155

157-
if filename[:5] == 'flite' or filename[:5] == 'boost' or filename[:7] == 'insight':
156+
if filename[:5] == 'boost' or filename[:7] == 'insight':
158157
results = open('results.txt', 'at')
159158
results.write('fixme: skipped package to avoid hang\n')
160159
results.close()

0 commit comments

Comments
 (0)