bash examples/software-modeling/labs/20/run.sh
python3 -c 'import runpy; n=runpy.run_path('"'"'examples/software-modeling/labs/20/check.py'"'"'); import json; b=json.load(open('"'"'examples/software-modeling/models/20/board.json'"'"')); r=n['"'"'Rehearsal'"'"'](); [r.execute(c) for c in b['"'"'commands'"'"']]; n['"'"'validate_trace'"'"']([e for e in r.events if e['"'"'kind'"'"']!='"'"'RefundReviewOpened'"'"'],r.commands)'
bash -n examples/software-modeling/labs/20/run.sh
cwd-independence: bash /Users/magicliang/Desktop/Programming/git/hexo-blog/examples/software-modeling/labs/20/run.sh from temporary directory
