Lines Matching refs:OPTARG
74 PROOFCOUNT_LOGIC="$OPTARG"
77 PROOFCOUNT_IMPORT_THEORY="$OPTARG"
80 PROOFCOUNT_OUTPUT_PATH="$OPTARG"
84 PROOFCOUNT_METRICS["$PROOFCOUNT_CURRENT_METRIC"]="$OPTARG"
88 PROOFCOUNT_SPECS["$PROOFCOUNT_CURRENT_METRIC"]+="$OPTARG "
92 PROOFCOUNT_PROOF_BOTTOM["$PROOFCOUNT_CURRENT_METRIC"]+="$OPTARG "
96 PROOFCOUNT_PROOF_TOP["$PROOFCOUNT_CURRENT_METRIC"]+="$OPTARG "
100 PROOFCOUNT_TOPLEVEL_FACTS["$PROOFCOUNT_CURRENT_METRIC"]+="$OPTARG "
103 PROOFCOUNT_XML="`realpath "$OPTARG"`"
109 PROOFCOUNT_BUILD_DIR="$OPTARG"