liquidhaskell-0.8.10.7: benchmarks/vector-algorithms-0.5.4.2/count.sh
#!/bin/bash shopt -s globstar for file in $(ls Data/**/*.hs); do content=`cat $file` echo $file lines= sloccount $file | grep "Total Physical Source" echo $lines python count.py $file $lines #echo "Time = " #time liquid $file > /dev/null | tail -n1 echo "" done