Show output from verification (and other commands).
Show output from verification (and other commands).

This is mostly a reversion of c2312788910ec2308b48d4eb61e895810de6a550.

Before (with verification error that's not shown):

    [nix-shell:~/code/github/kadena-io/pact]$ cabal new-exec pact -- -r examples/verified-accounts/accounts.repl
    Load successful

After:

    [nix-shell:~/code/github/kadena-io/pact]$ cabal new-exec pact -- -r examples/verified-accounts/accounts.repl
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid

    Load successful

After (with error):

    [nix-shell:~/code/github/kadena-io/pact]$ cabal new-exec pact -- -r examples/verified-accounts/accounts.repl
    Property proven valid
    Property proven valid
    examples/verified-accounts/accounts.pact:30:15:Warning: Invalidating model found:
      Program trace:
        entering function read-account-admin with argument
          id = "accounts-admin-keyset"

          satisfied 2 named 'accounts-admin-keyset
          read { amount: 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003, balance: 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001, ccy: "accounts-admin-keyset" } for key "accounts-admin-keyset" succeeds
          returning with { amount: 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003, balance: 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001, ccy: "accounts-admin-keyset" }

    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    examples/verified-accounts/accounts.pact:30:15:Warning: Invalidating model found:
      Program trace:
        entering function read-account-user with argument
          id = ""

          read { amount: 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002, auth: "", balance: 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001, ccy: "" } for key "" succeeds
          destructuring object
            b := 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
            c := ""
            auth := ""
          returning with 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001

    Property proven valid
    examples/verified-accounts/accounts.pact:30:15:Warning: Invalidating model found:
      Program trace:
        entering function check-balance with arguments
          balance = 0.0
          amount = 0.0

          satisfied assertion: (<= amount balance)
          returning with True

    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid
    Property proven valid

    Load successful

kadena-io/pact,kadena-io/pact,kadena-io/pact,kadena-io/pact