File size: 436 Bytes
9425aed | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | #!/bin/bash
# Generate Lean4 code from template
set -euo pipefail
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
SEB_ROOT="$(cd "$SCRIPT_DIR/../.." && pwd)"
TEMPLATE="$SEB_ROOT/contracts/lean4.template"
OUTPUT_DIR="$SEB_ROOT/verification/lean4"
echo "[Lean4] Copying template to verification directory..."
cp "$TEMPLATE" "$OUTPUT_DIR/SEB.lean"
echo "[Lean4] Generated: $OUTPUT_DIR/SEB.lean"
# Made with Bob
|