governance committee checks wrong hash fails:                               OK (5.93s)
      ✓ Test.Cli.Governance.Committee.hprop_governance_committee_checks_wrong_hash_fails passed 1 test.
  governance committee checks right hash works:                               OK (6.42s)
      ✓ Test.Cli.Governance.Committee.hprop_governance_committee_checks_right_hash_works passed 1 test.
  governance drep registration certificate script hash:                       OK (7.91s)
      ✓ Test.Cli.Governance.DRep.hprop_governance_drep_registration_certificate_script_hash passed 1 test.
  governance drep update certificate vkey file:                               OK (9.75s)
      ✓ Test.Cli.Governance.DRep.hprop_governance_drep_update_certificate_vkey_file passed 1 test.
  golden governance drep registration certificate vkey file wrong hash fails: OK (6.82s)
      ✓ Test.Cli.Governance.DRep.hprop_golden_governance_drep_registration_certificate_vkey_file_wrong_hash_fails passed 1 test.
  golden governance drep registration certificate vkey file:                  OK (7.10s)
      ✓ Test.Cli.Governance.DRep.hprop_golden_governance_drep_registration_certificate_vkey_file passed 1 test.
  golden governance drep update certificate vkey file wrong hash fails:       OK (6.82s)
      ✓ Test.Cli.Governance.DRep.hprop_golden_governance_drep_update_certificate_vkey_file_wrong_hash_fails passed 1 test.
  golden governance drep update certificate vkey file:                        OK (7.81s)
      ✓ Test.Cli.Governance.DRep.hprop_golden_governance_drep_update_certificate_vkey_file passed 1 test.
  governance committee key hash:                                              OK (9.00s)
      ✓ Test.Cli.Governance.Hash.hprop_governance_committee_key_hash passed 1 test.
  governance vote create wrong hash fails:                                    OK (4.46s)
      ✓ Test.Cli.Governance.Vote.hprop_governance_vote_create_wrong_hash_fails passed 1 test.
  governance vote create right hash works:                                    OK (3.88s)
      ✓ Test.Cli.Governance.Vote.hprop_governance_vote_create_right_hash_works passed 1 test.
  generate anchor data hash from file:                                        OK (0.41s)
      ✓ Test.Cli.Hash.hprop_generate_anchor_data_hash_from_file passed 1 test.
  check anchor data hash from file:                                           OK (0.71s)
      ✓ Test.Cli.Hash.hprop_check_anchor_data_hash_from_file passed 1 test.
  check anchor data hash from file fails:                                     OK (0.51s)
      ✓ Test.Cli.Hash.hprop_check_anchor_data_hash_from_file_fails passed 1 test.
  generate anchor data hash from file uri:                                    OK (0.51s)
      ✓ Test.Cli.Hash.hprop_generate_anchor_data_hash_from_file_uri passed 1 test.
  check anchor data hash from http uri:                                       OK (0.89s)
      ✓ Test.Cli.Hash.hprop_check_anchor_data_hash_from_http_uri passed 1 test.
  check anchor data hash from ipfs uri:                                       OK (1.74s)
      ✓ Test.Cli.Hash.hprop_check_anchor_data_hash_from_ipfs_uri passed 1 test.
  convertITNKeys:                                                             OK (7.41s)
      ✓ Test.Cli.ITN.hprop_convertITNKeys passed 1 test.
  convertITNExtendedSigningKey:                                               OK (3.88s)
      ✓ Test.Cli.ITN.hprop_convertITNExtendedSigningKey passed 1 test.
  convertITNBIP32SigningKey:                                                  OK (3.88s)
      ✓ Test.Cli.ITN.hprop_convertITNBIP32SigningKey passed 1 test.
  golden bech32Decode:                                                        OK (0.12s)
      ✓ Test.Cli.ITN.hprop_golden_bech32Decode passed 1 test.
  json roundtrip delegations and rewards:                                     OK (3.02s)
      ✓ Test.Cli.Json.hprop_json_roundtrip_delegations_and_rewards passed 100 tests.
  roundtrip kes period info output JSON:                                      OK (0.71s)
      ✓ Test.Cli.Json.hprop_roundtrip_kes_period_info_output_JSON passed 100 tests.
  monad warning:                                                              OK (0.12s)
      ✓ Test.Cli.MonadWarning.hprop_monad_warning passed 100 tests.
  integral reader:                                                            OK (0.41s)
      ✓ Test.Cli.Parser.hprop_integral_reader passed 100 tests.
  integral pair reader positive:                                              OK (0.51s)
      ✓ Test.Cli.Parser.hprop_integral_pair_reader_positive passed 100 tests.
  integral pair reader negative:                                              OK (0.12s)
      ✓ Test.Cli.Parser.hprop_integral_pair_reader_negative passed 1 test.
  buildShelleyPaymentAddress:                                                 OK (6.52s)
      ✓ Test.Cli.Pioneers.Exercise1.hprop_buildShelleyPaymentAddress passed 1 test.
  buildShelleyStakeAddress:                                                   OK (7.91s)
      ✓ Test.Cli.Pioneers.Exercise1.hprop_buildShelleyStakeAddress passed 1 test.
  createTransaction:                                                          OK (8.49s)
      ✓ Test.Cli.Pioneers.Exercise2.hprop_createTransaction passed 1 test.
  createOperationalCertificate:                                               OK (8.79s)
      ✓ Test.Cli.Pioneers.Exercise3.hprop_createOperationalCertificate passed 1 test.
  createStakeAddressRegistrationCertificate:                                  OK (6.22s)
      ✓ Test.Cli.Pioneers.Exercise4.hprop_createStakeAddressRegistrationCertificate passed 1 test.
  createLegacyZeroTxOutTransaction:                                           OK (8.20s)
      ✓ Test.Cli.Pioneers.Exercise5.hprop_createLegacyZeroTxOutTransaction passed 1 test.
  createZeroLovelaceTxOutTransaction:                                         OK (7.41s)
      ✓ Test.Cli.Pioneers.Exercise6.hprop_createZeroLovelaceTxOutTransaction passed 1 test.
  readFromPipe:                                                               OK
      ✓ Test.Cli.Pipes.hprop_readFromPipe passed 100 tests.
  stake pool certificate hash check wrong metadata fails:                     OK (9.47s)
      ✓ Test.Cli.Shelley.Certificates.StakePool.hprop_stake_pool_certificate_hash_check_wrong_metadata_fails passed 1 test.
  stake pool certificate hash check wrong hash fails:                         OK (9.75s)
      ✓ Test.Cli.Shelley.Certificates.StakePool.hprop_stake_pool_certificate_hash_check_wrong_hash_fails passed 1 test.
  stake pool certificate hash check right hash works:                         OK (10.22s)
      ✓ Test.Cli.Shelley.Certificates.StakePool.hprop_stake_pool_certificate_hash_check_right_hash_works passed 1 test.
  stake pool metadata hash url wrong metadata fails:                          OK (3.17s)
      ✓ Test.Cli.Shelley.Certificates.StakePool.hprop_stake_pool_metadata_hash_url_wrong_metadata_fails passed 1 test.
  stake pool metadata hash url wrong hash fails:                              OK (1.99s)
      ✓ Test.Cli.Shelley.Certificates.StakePool.hprop_stake_pool_metadata_hash_url_wrong_hash_fails passed 1 test.
  stake pool metadata hash url correct hash:                                  OK (3.94s)
      ✓ Test.Cli.Shelley.Certificates.StakePool.hprop_stake_pool_metadata_hash_url_correct_hash passed 1 test.
  hash trip:                                                                  OK (10.55s)
      ✓ Test.Cli.Shelley.Run.Hash.hprop_hash_trip passed 1 test.
  percentage:                                                                 OK
      ✓ Test.Cli.Shelley.Run.Query.hprop_percentage passed 1 test.
  conway transaction build one voter many votes:                              OK (3.84s)
      ✓ Test.Cli.Shelley.Transaction.Build.hprop_conway_transaction_build_one_voter_many_votes passed 1 test.
  conway transaction build raw negative txout:                                OK (3.84s)
      ✓ Test.Cli.Shelley.Transaction.Build.hprop_conway_transaction_build_raw_negative_txout passed 1 test.
  conway transaction build raw negative bits positive total txout:            OK (4.51s)
      ✓ Test.Cli.Shelley.Transaction.Build.hprop_conway_transaction_build_raw_negative_bits_positive_total_txout passed 1 test.
  verification key drep:                                                      OK (6.69s)
      ✓ Test.Cli.VerificationKey.hprop_verification_key_drep passed 1 test.
  verification key committee hot:                                             OK (6.49s)
      ✓ Test.Cli.VerificationKey.hprop_verification_key_committee_hot passed 1 test.
  verification key committee cold:                                            OK (7.59s)
      ✓ Test.Cli.VerificationKey.hprop_verification_key_committee_cold passed 1 test.

All 61 tests passed (15.06s)