diff --git a/tools/analysis/faultspaceplot/faultspaceplot.sh b/tools/analysis/faultspaceplot/faultspaceplot.sh index db4425aa..cd5ff299 100755 --- a/tools/analysis/faultspaceplot/faultspaceplot.sh +++ b/tools/analysis/faultspaceplot/faultspaceplot.sh @@ -34,8 +34,8 @@ $MYSQL < "$VARIANT"_"$BENCHMARK"-raw.csv WHEN r.resulttype = 'GROUP1_MARKER' THEN '#EBEBEB' WHEN r.resulttype = 'GROUP2_MARKER' THEN '#ECECEC' WHEN r.resulttype = 'GROUP3_MARKER' THEN '#EDEDED' - WHEN r.resulttype = 'TIMEOUT' THEN '#00EE00' - WHEN r.resulttype = 'TRAP' THEN '#00DD00' + WHEN r.resulttype = 'TIMEOUT' THEN '#CCCC00' + WHEN r.resulttype = 'TRAP' THEN '#00CCCC' WHEN r.resulttype = 'WRITE_TEXTSEGMENT' THEN '#0000AA' WHEN r.resulttype = 'WRITE_OUTERSPACE' THEN '#0000BB' WHEN r.resulttype = 'SDC' THEN '#FF0000'