Skip to content

Commit 90514d8

Browse files
Added option to allow soltest in CI print errors to stderr in addition to the XML report.
1 parent fdc3c8e commit 90514d8

File tree

2 files changed

+4
-3
lines changed

2 files changed

+4
-3
lines changed

.circleci/soltest.ps1

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ cd "$PSScriptRoot\.."
66
if ( -not $? ) { throw "Cannot execute solc --version." }
77

88
mkdir test_results
9-
.\build\test\Release\soltest.exe --color_output=no --show_progress=yes --logger=JUNIT,error,test_results/result.xml -- --no-smt
9+
.\build\test\Release\soltest.exe --color_output=no --show_progress=yes --logger=JUNIT,error,test_results/result.xml --logger=HRF,error,stdout -- --no-smt
1010
if ( -not $? ) { throw "Unoptimized soltest run failed." }
11-
.\build\test\Release\soltest.exe --color_output=no --show_progress=yes --logger=JUNIT,error,test_results/result_opt.xml -- --optimize --no-smt
12-
if ( -not $? ) { throw "Optimized soltest run failed." }
11+
.\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
12+
if ( -not $? ) { throw "Optimized soltest run failed." }

.circleci/soltest.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -75,6 +75,7 @@ do
7575
"--color_output=no"
7676
"--show_progress=yes"
7777
"--logger=JUNIT,error,test_results/$(get_logfile_basename "$((CPUs * CIRCLE_NODE_INDEX + run))").xml"
78+
"--logger=HRF,error,stdout"
7879
"${BOOST_TEST_ARGS[@]}"
7980
)
8081
SOLTEST_ARGS=("--evm-version=$EVM" "${SOLTEST_FLAGS[@]}")

0 commit comments

Comments
 (0)