kevm: remove unused success and failure utilities

runtimeverification · Mar 21, 2018 · 92d476c · 92d476c
1 parent d3a257d
commit 92d476c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/kevm b/kevm
@@ -25,8 +25,6 @@ run_times="$test_logs/runtime"
 progress() { echo "== $@" ; }
 warning()  { echo -e "WARNING:" "$@" >&2 ; }
 die()      { echo -e "FATAL:" "$@" >&2 ; exit 1 ; }
-success()  { echo -e "\e[32m== success: $@\e[0m" ; }
-failure()  { echo -e "\e[31m== failure: $@\e[0m" ; }
 
 pretty_diff() {
     git --no-pager diff --no-index "$@"