|
|
|
|
@ -81,7 +81,7 @@ for file in "${TEST_FILES[@]}"; do
|
|
|
|
|
"$VERIFY_SCRIPT" "$file" test/test_result/function/ir --run 2>&1 | tee -a "$RESULT_FILE"
|
|
|
|
|
result2=${PIPESTATUS[0]}
|
|
|
|
|
else
|
|
|
|
|
"$VERBOSE" "$VERIFY_SCRIPT" "$file" test/test_result/function/ir --run >> "$RESULT_FILE" 2>&1
|
|
|
|
|
"$VERIFY_SCRIPT" "$file" test/test_result/function/ir --run >> "$RESULT_FILE" 2>&1
|
|
|
|
|
result2=$?
|
|
|
|
|
fi
|
|
|
|
|
echo "" >> "$RESULT_FILE"
|
|
|
|
|
|