Searched refs:faultline (Results 1 – 1 of 1) sorted by relevance
92 faultline=`cat $T.dis | head -1 | cut -d":" -f2`93 faultline=`echo "$faultline" | sed -e 's/\[/\\\[/g; s/\]/\\\]/g'`95 cat $T.oo | sed -e "s/\($faultline\)/\*\1 <-- trapping instruction/g"