From 90514d88937e5f8976f5a647959804efbfedb7d7 Mon Sep 17 00:00:00 2001 From: Matheus Aguiar Date: Thu, 26 May 2022 17:03:42 -0300 Subject: [PATCH] Added option to allow soltest in CI print errors to stderr in addition to the XML report. --- .circleci/soltest.ps1 | 6 +++--- .circleci/soltest.sh | 1 + 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/.circleci/soltest.ps1 b/.circleci/soltest.ps1 index 6b67adb13..3c800903b 100755 --- a/.circleci/soltest.ps1 +++ b/.circleci/soltest.ps1 @@ -6,7 +6,7 @@ cd "$PSScriptRoot\.." if ( -not $? ) { throw "Cannot execute solc --version." } mkdir test_results -.\build\test\Release\soltest.exe --color_output=no --show_progress=yes --logger=JUNIT,error,test_results/result.xml -- --no-smt +.\build\test\Release\soltest.exe --color_output=no --show_progress=yes --logger=JUNIT,error,test_results/result.xml --logger=HRF,error,stdout -- --no-smt if ( -not $? ) { throw "Unoptimized soltest run failed." } -.\build\test\Release\soltest.exe --color_output=no --show_progress=yes --logger=JUNIT,error,test_results/result_opt.xml -- --optimize --no-smt -if ( -not $? ) { throw "Optimized soltest run failed." } \ No newline at end of file +.\build\test\Release\soltest.exe --color_output=no --show_progress=yes --logger=JUNIT,error,test_results/result_opt.xml --logger=HRF,error,stdout -- --optimize --no-smt +if ( -not $? ) { throw "Optimized soltest run failed." } diff --git a/.circleci/soltest.sh b/.circleci/soltest.sh index 91325f02e..7b5b88593 100755 --- a/.circleci/soltest.sh +++ b/.circleci/soltest.sh @@ -75,6 +75,7 @@ do "--color_output=no" "--show_progress=yes" "--logger=JUNIT,error,test_results/$(get_logfile_basename "$((CPUs * CIRCLE_NODE_INDEX + run))").xml" + "--logger=HRF,error,stdout" "${BOOST_TEST_ARGS[@]}" ) SOLTEST_ARGS=("--evm-version=$EVM" "${SOLTEST_FLAGS[@]}")