lambdagent/demo/run_all.sh

#!/bin/bash
# 一键运行三个 Demo — 给小艺团队演示
set -e

DEMO_DIR="$(cd "$(dirname "$0")" && pwd)"
cd "$DEMO_DIR/.."

echo "============================================"
echo "  lambdagent × 鸿蒙 Agent DSL 演示"
echo "  用你们的代码，发现你们的 bug"
echo "============================================"
echo

echo "▶ Demo 1/3: 类型兼容性检查"
echo "--------------------------------------------"
python demo/demo1_type_check.py
echo
echo

echo "▶ Demo 2/3: 并行安全分析"
echo "--------------------------------------------"
python demo/demo2_store_independence.py
echo
echo

echo "▶ Demo 3/3: 端侧成本预测"
echo "--------------------------------------------"
python demo/demo3_cost_predict.py
echo

echo "============================================"
echo "  演示完成"
echo "  合作方案: 把 λA 类型检查集成到仓颉编译器"
echo "============================================"