echo "pKVM emem allocator"
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
printf "%-15s %-20s %-10s %-10s %-10s %-10s %-10s %-15s %-10s %-20s %-10s %-10s\n" "Verifier" "Specifications" "Internal" "Predicates" "Proof" "Loops" "Globals" "Linux Models" "Total" "Syntax-only" "Total%" "Proof-to-code%"
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
cd pkvm-early-alloc
./loc.sh
cd ..
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
echo ""

echo "Vigor allocator"
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
printf "%-15s %-20s %-10s %-10s %-10s %-10s %-10s %-15s %-10s %-20s %-10s %-10s\n" "Verifier" "Specifications" "Internal" "Predicates" "Proof" "Loops" "Globals" "Linux Models" "Total" "Syntax-only" "Total%" "Proof-to-code%"
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
cd klint
./loc.sh
cd ..
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
echo ""

echo "KVM page table"
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
printf "%-15s %-20s %-10s %-10s %-10s %-10s %-10s %-15s %-10s %-20s %-10s %-10s\n" "Verifier" "Specifications" "Internal" "Predicates" "Proof" "Loops" "Globals" "Linux Models" "Total" "Syntax-only" "Total%" "Proof-to-code%"
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
cd kvm-pgtable
./loc.sh
cd ..
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
echo ""

echo "USB driver"
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
printf "%-15s %-20s %-10s %-10s %-10s %-10s %-10s %-15s %-10s %-20s %-10s %-10s\n" "Verifier" "Specifications" "Internal" "Predicates" "Proof" "Loops" "Globals" "Linux Models" "Total" "Syntax-only" "Total%" "Proof-to-code%"
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
cd usbmouse
./loc.sh
cd ..
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
echo ""

echo "Komodo-S"
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
printf "%-15s %-20s %-10s %-10s %-10s %-10s %-10s %-15s %-10s %-20s %-10s %-10s\n" "Verifier" "Specifications" "Internal" "Predicates" "Proof" "Loops" "Globals" "Linux Models" "Total" "Syntax-only" "Total%" "Proof-to-code%"
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
cd komodo-serval
./loc.sh
cd ..
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
echo ""

echo "Komodo-*"
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
printf "%-15s %-20s %-10s %-10s %-10s %-10s %-10s %-15s %-10s %-20s %-10s %-10s\n" "Verifier" "Specifications" "Internal" "Predicates" "Proof" "Loops" "Globals" "Linux Models" "Total" "Syntax-only" "Total%" "Proof-to-code%"
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"
cd komodo-star
./loc.sh
cd ..
echo "---------------------------------------------------------------------------------------------------------------------------------------------------------------------"