diff options
| author | John Wiegley <johnw@newartisans.com> | 2009-02-27 03:58:43 -0400 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2009-02-27 03:58:43 -0400 |
| commit | 6b62be59fbb8a0b8fd4274fa46ca7295f1be0919 (patch) | |
| tree | a14d7a1c3962d901cc26510fbb124380c0181a56 /tools/prove.sh | |
| parent | 645e43ef75b1af78ef6a4013684d76fd7d6e7118 (diff) | |
| download | fork-ledger-6b62be59fbb8a0b8fd4274fa46ca7295f1be0919.tar.gz fork-ledger-6b62be59fbb8a0b8fd4274fa46ca7295f1be0919.tar.bz2 fork-ledger-6b62be59fbb8a0b8fd4274fa46ca7295f1be0919.zip | |
Added generate command, --seed, and GenerateTests
Diffstat (limited to 'tools/prove.sh')
| -rwxr-xr-x | tools/prove.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/prove.sh b/tools/prove.sh new file mode 100755 index 00000000..c62c4988 --- /dev/null +++ b/tools/prove.sh @@ -0,0 +1,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 |