summaryrefslogtreecommitdiff
path: root/tools/prove.sh
blob: c62c498816413c6c4c075bbf9ae0d318e894395b (plain)
1
2
3
4
5
6
7
8
9
10
11
#!/bin/sh

if [ -n "$1" ]; then
    ./ledger --seed=$1 --actual --args-only generate > /tmp/cout
else
    ./ledger --actual --args-only generate > /tmp/cout
fi

ledger -f /tmp/cout --actual --args-only print > /tmp/print

diff -w -U3 /tmp/cout /tmp/print