merged verification condition structure and term representation in one datatype,
extended the set of operations on verification conditions (retrieve more information, advanced splitting of paths),
simplified discharging of verification conditions (due to improved datatype),
added variantions of commands (extract different parts of verification conditions, scan until first "hard" assertion)
#!/usr/bin/env bash
#
# $Id$
# Author: Makarius
#
# DESCRIPTION: Cumulative reports for Poly/ML profiling output.
THIS=$(cd $(dirname "$0"); echo "$PWD")
SRC="$1"
DST="$2"
mkdir -p "$DST"
for FILE in "$SRC"/*.gz
do
echo "$FILE"
NAME="$(basename "$FILE" .gz)"
gzip -dc "$FILE" | "$THIS/profiling_report" > "$DST/$NAME"
done