From 0b6592ed3a80c6afe74ebc0958030edb43a9cffb Mon Sep 17 00:00:00 2001 From: m5cn9itjr <295305452@qq.com> Date: Wed, 16 Oct 2024 20:25:32 +0800 Subject: [PATCH] Delete '.travis' --- .travis | 60 --------------------------------------------------------- 1 file changed, 60 deletions(-) delete mode 100644 .travis diff --git a/.travis b/.travis deleted file mode 100644 index 010e31a..0000000 --- a/.travis +++ /dev/null @@ -1,60 +0,0 @@ -#!/bin/bash -usage() { - echo "Usage: $0 -o -k -v [-p ]" 1>&2; - echo " " 1>&2; - echo "Checks if a key:value appears in the fuzzer_stats report" 1>&2; - echo " " 1>&2; - echo -n "If \"value\" is numeric and \"precision\" is defined, checks if the stat " 1>&2; - echo "printed by afl is value+/-precision." 1>&2; - exit 1; } - -while getopts "o:k:v:p:" opt; do - case "${opt}" in - o) - o=${OPTARG} - ;; - k) - k=${OPTARG} - ;; - v) - v=${OPTARG} - ;; - p) - p=${OPTARG} - ;; - *) - usage - ;; - esac -done - -if [ -z $o ] || [ -z $k ] || [ -z $v ]; then usage; fi - -# xargs to trim the surrounding whitespaces -stat_v=$( grep $k "$o"/fuzzer_stats | cut -d ":" -f 2 | xargs ) -v=$( echo "$v" | xargs ) - -if [ -z stat_v ]; - then echo "ERROR: key $k not found in fuzzer_stats." 1>&2 - exit 1 -fi - -re_percent='^[0-9]+([.][0-9]+)?\%$' -# if the argument is a number in percentage, get rid of the % -if [[ "$v" =~ $re_percent ]]; then v=${v: :-1}; fi -if [[ "$stat_v" =~ $re_percent ]]; then stat_v=${stat_v: :-1}; fi - -re_numeric='^[0-9]+([.][0-9]+)?$' -# if the argument is not a number, we check for strict equality -if (! [[ "$v" =~ $re_numeric ]]) || (! [[ "$stat_v" =~ $re ]]); - then if [ "$v" != "$stat_v" ]; - then echo "ERROR: \"$k:$stat_v\" (should be $v)." 1>&2 - exit 2; - fi -# checks if the stat reported by afl is in the range -elif [ "$stat_v" -lt $(( v - p )) ] || [ "$stat_v" -gt $(( v + p )) ]; - then echo "ERROR: key $k:$stat_v is out of correct range." 1>&2 - exit 3; -fi -echo "OK: key $k:$stat_v" 1>&2 -