index
:
opentheory-transform
master
Opentheory proof trace optimizer
Jed Barber
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test.sh
blob: 819d261b91f788f7b4f028f033d05bf9ba099b81 (
plain
)
1
2
3
#!/bin/bash /usr/bin/time -f "%E" ./Test/timer.sh $1 $2