Searched refs:info_file (Results 1 – 2 of 2) sorted by relevance
8 info_file=$110 if [[ "$info_file" = "" ]] ; then24 ${bin_dir}/init_constraints.pl "$PROJ" $info_file $db_file25 ${bin_dir}/init_constraints_required.pl "$PROJ" $info_file $db_file26 ${bin_dir}/fill_db_sql.pl "$PROJ" $info_file $db_file27 if [ -e ${info_file}.sql ] ; then28 ${bin_dir}/fill_db_sql.pl "$PROJ" ${info_file}.sql $db_file30 ${bin_dir}/fill_db_caller_info.pl "$PROJ" $info_file $db_file31 if [ -e ${info_file}.caller_info ] ; then36 ${bin_dir}/fill_db_type_value.pl "$PROJ" $info_file $db_file[all …]
8 info_file=$110 if [[ "$info_file" = "" ]] ; then18 files=$(grep "insert into caller_info" $info_file | cut -d : -f 1 | sort -u)29 grep "insert into caller_info" $info_file > $tmp_file32 grep "insert into return_states" $info_file > $tmp_file35 grep "into call_implies" $info_file > $tmp_file38 grep "into return_implies" $info_file > $tmp_file