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[@]}")