summaryrefslogtreecommitdiff
path: root/benchmark.sh
blob: 1b54e3cd2d4162ce9b610ff6d6f3099b93c07862 (plain) 
1
2
3
4
5
6
7
8
9
10
11

#!/bin/bash
set -e
i=0
for file in $(head -n $1 $HOME/sorted_smt_lib.list)
do
  i=$(($i+1))
  if [ $((i % 10)) == 0 ] ; then
    echo "$i / $1"
  fi
  $PWD/bin/cvc5 --arith-idl-ext $file > /dev/null
done
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback