faultspaceplot: better distinguishable colors

Change-Id: I49517fd104394e598937ab1c8970c739e41993b7
This commit is contained in:
Horst Schirmeier
2016-02-14 18:39:39 +01:00
parent ea0a5f90e2
commit 915a344223

View File

@ -34,8 +34,8 @@ $MYSQL <<EOT > "$VARIANT"_"$BENCHMARK"-raw.csv
WHEN r.resulttype = 'GROUP1_MARKER' THEN '#EBEBEB' WHEN r.resulttype = 'GROUP1_MARKER' THEN '#EBEBEB'
WHEN r.resulttype = 'GROUP2_MARKER' THEN '#ECECEC' WHEN r.resulttype = 'GROUP2_MARKER' THEN '#ECECEC'
WHEN r.resulttype = 'GROUP3_MARKER' THEN '#EDEDED' WHEN r.resulttype = 'GROUP3_MARKER' THEN '#EDEDED'
WHEN r.resulttype = 'TIMEOUT' THEN '#00EE00' WHEN r.resulttype = 'TIMEOUT' THEN '#CCCC00'
WHEN r.resulttype = 'TRAP' THEN '#00DD00' WHEN r.resulttype = 'TRAP' THEN '#00CCCC'
WHEN r.resulttype = 'WRITE_TEXTSEGMENT' THEN '#0000AA' WHEN r.resulttype = 'WRITE_TEXTSEGMENT' THEN '#0000AA'
WHEN r.resulttype = 'WRITE_OUTERSPACE' THEN '#0000BB' WHEN r.resulttype = 'WRITE_OUTERSPACE' THEN '#0000BB'
WHEN r.resulttype = 'SDC' THEN '#FF0000' WHEN r.resulttype = 'SDC' THEN '#FF0000'