echo "Number of errors:"
cargo check 2>&1 | grep "^error\[" | wc -l
echo "Head ${1} lines"
echo " "
cargo check 2>&1 | grep "^error\[" | head -${1}
echo "Cargo Tail check -5 "
cargo test --lib 2>&1 | tail -5
echo "wc -l docs/hir/HIR-SPECIFICATION.md "
echo " "
wc -l docs/hir/HIR-SPECIFICATION.md
echo "wc -l doc/hir/validate.rs"
echo " "
wc -l src/hir/validate.rs
#echo "head -80 docs/hir/HIR-SPECIFICATION.md"
#head -80 docs/hir/HIR-SPECIFICATION.md
echo "Test Compiler on its own DOL Specs:"
# Test the compiler on its own DOL specs
cargo run --bin dol-check --features cli -- dol/ 2>&1 | tail -20
echo "Check how many DOL files we have: "
# Check how many DOL files we have
find dol -name "*.dol" | wc -l
echo "List the Dols: "
# List them
find dol -name "*.dol"