Robust/src/Benchmarks/SSJava/MP3Decoder/cp-err-data-to-paper.sh

   1 #!/bin/bash
   2
   3 if [[ -z $1 ]] ; then
   4 cp normal.txt error.txt nve-diff-ranges.tmp ~/research/Papers/12/pldi.ssjava/err-inj-fig
   5 else
   6 cp normal.txt error.txt nve-diff-ranges.tmp $1/Papers/12/pldi.ssjava/err-inj-fig
   7 fi