File: eval_perf.sh

package info (click to toggle)
eprover 2.6%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 21,288 kB
  • sloc: ansic: 331,111; csh: 12,026; python: 10,178; awk: 5,825; makefile: 461; sh: 389
file content (12 lines) | stat: -rwxr-xr-x 377 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
 
#!/bin/tcsh -f


touch real_perf
rm real_perf
foreach file ( ../CLASS_LISTS_D6/CLASS_* )
   echo $file `filter_results.awk $file $1 | eauswert.awk | gawk '{print $5+0}'` |cut -d/ -f3- >> real_perf
   echo $file
end
grep CLASS $2 | grep prot | cut -c4- | sort > pred_perf
join real_perf pred_perf | gawk '{printf("%-21s:%-53s:%4d %4d:%+4d\n",$1,$4,$2,$5,$2-$5)}' |tee cmp_perf