Searched refs:redefine_out (Results 1 – 1 of 1) sorted by relevance
161 redefine_out="$outputdir/bc_outputs/redefine_results.txt"163 outdir=$(dirname "$redefine_out")171 printf 'halt\n' 2> /dev/null | "$exe" "$@" --redefine=print -e 'define print(x) { x }' -e 'print(5)' > "$redefine_out"174 checktest "$d" "$err" "keyword redefinition" "$redefine_res" "$redefine_out"176 printf 'halt\n' 2> /dev/null | "$exe" "$@" -r "abs" -r "else" -e 'abs = 5;else = 0' -e 'abs;else' > "$redefine_out"179 checktest "$d" "$err" "keyword redefinition" "$redefine_res" "$redefine_out"183 printf 'halt\n' 2> /dev/null | "$exe" "$@" -lr abs -e "perm(5, 1)" -e "0" > "$redefine_out"186 checktest "$d" "$err" "keyword not redefined in builtin library" "$redefine_res" "$redefine_out"190 "$exe" "$@" -r "break" -e 'define break(x) { x }' 2> "$redefine_out"193 checkerrtest "$d" "$err" "keyword redefinition error" "$redefine_out" "[all...]