Changeset: dbe2e264be1f for MonetDB
URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=dbe2e264be1f
Modified Files:
testing/Mfilter.py.in
Branch: default
Log Message:
Filter out comments about builtin and command line options.
This makes that test sq/backends/monet5/generator/crash.Bug-3609
doesn't fail if it is run without property checking.
diffs (12 lines):
diff --git a/testing/Mfilter.py.in b/testing/Mfilter.py.in
--- a/testing/Mfilter.py.in
+++ b/testing/Mfilter.py.in
@@ -134,6 +134,8 @@ def mFilter (FILE, IGNORE) :
il = iw = ic = el = ew = ec = al = aw = ac = 0
for iline in open(FILE, 'rU'):
iline = iline.replace('\033[?1034h','')
+ if iline.startswith('# builtin opt') or iline.startswith('# cmdline
opt'):
+ continue
# normalize exponents in floating point representation: remove
# leading zeros from exponent (but keeping at least one digit,
# even if zero)
_______________________________________________
checkin-list mailing list
[email protected]
https://www.monetdb.org/mailman/listinfo/checkin-list
