File: generate_class_lists_from_file.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 (15 lines) | stat: -rwxr-xr-x 463 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
#! /bin/sh
#
# Given a directory of LOP-files, classify them and create lists for
# each class in the current directory.
#


if [ "$1" ]; then
    touch CLASS_1;
    rm CLASS_*;
    classify_problem -p $*  | gawk 'BEGIN{FS=" : "}{cl[$3] = cl[$3] $1 "\n"}END{for(i in cl){printf cl[i] > "CLASS_F" i}}'
    echo generate_class_lists_from_file.sh $* > description
else
    echo "Usage: generate_class_lists_from_file.sh <feature_file> <classify_problem-options>"
fi