Created
December 14, 2022 20:45
-
-
Save jwiegley/3c047e78e6d5857764426b577abbe336 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Vulcan ~/kadena/work/aeson/pact $ cabal test | |
| Build profile: -w ghc-8.10.7 -O1 | |
| In order, the following will be built (use -v for more details): | |
| - pact-4.4 (test:hspec) (ephemeral targets) | |
| Preprocessing test suite 'hspec' for pact-4.4.. | |
| Building test suite 'hspec' for pact-4.4.. | |
| Running 1 test suites... | |
| Test suite hspec: RUNNING... | |
| Blake2Spec | |
| blake2b_selftest | |
| final hash correct | |
| blake2s_selftest | |
| final hash correct | |
| KeysetSpec | |
| fromJSON | |
| full read from JSON | |
| object no pred | |
| just list | |
| RoundTripSpec | |
| JSONRoundtrips | |
| testJSONPersist | |
| roundtrips integer | |
| roundtrips decimal | |
| roundtrips bool | |
| roundtrips string | |
| roundtrips time | |
| roundtrips keyset | |
| roundtrips modref | |
| roundtrips list | |
| roundtrips object | |
| testJSONColumns | |
| roundtrips object | |
| roundtrips as rowdata | |
| testJSONModules | |
| roundtrips module | |
| testUnification | |
| mod spec unifies with a module with greater coverage | |
| mod spec unifies with a module with same coverage | |
| mod spec does not unify with a module with less coverage | |
| mod spec does not unify with a module with different coverage | |
| PrincipalSpec | |
| k: | |
| k: parser roundtrips | |
| k: has correct identifiers | |
| w: | |
| w: parser roundtrips | |
| w: has correct identifiers | |
| r: | |
| r: parser roundtrips | |
| r: has correct identifiers | |
| m: | |
| m: parser roundtrips | |
| m: has correct identifiers | |
| u: | |
| u: parser roundtrips | |
| u: has correct identifiers | |
| p: | |
| p: parser roundtrips | |
| p: has correct identifiers | |
| Test.Pact.Utils.LegacyHashable | |
| LegacyHashable | |
| compatible with VERSION_hashable | |
| Int | |
| legacyHash | |
| +++ OK, passed 100 tests. | |
| hash(LegacyHashed) | |
| +++ OK, passed 100 tests. | |
| Word | |
| legacyHash | |
| +++ OK, passed 100 tests. | |
| hash(LegacyHashed) | |
| +++ OK, passed 100 tests. | |
| () | |
| legacyHash | |
| +++ OK, passed 100 tests. | |
| hash(LegacyHashed) | |
| +++ OK, passed 100 tests. | |
| Bool | |
| legacyHash | |
| +++ OK, passed 100 tests. | |
| hash(LegacyHashed) | |
| +++ OK, passed 100 tests. | |
| Ordering | |
| legacyHash | |
| +++ OK, passed 100 tests. | |
| hash(LegacyHashed) | |
| +++ OK, passed 100 tests. | |
| Char | |
| legacyHash | |
| +++ OK, passed 100 tests. | |
| hash(LegacyHashed) | |
| +++ OK, passed 100 tests. | |
| text vectors | |
| legacyHash | |
| hash(LegacyHashed) | |
| Test.Pact.Utils.LegacyHashMap | |
| LegacyHashMap | |
| null | |
| does not store duplicate keys | |
| +++ OK, passed 100 tests. | |
| insert of existing key updates the value | |
| fromList associates from the left | |
| has same set semantics as HashMap | |
| +++ OK, passed 100 tests. | |
| has same set semantics as HashMap2 | |
| +++ OK, passed 100 tests. | |
| collisions do not affect order | |
| # PENDING: not yet implemented (hint: use fromListWithHash) | |
| Test.Pact.Utils.LegacyValue | |
| JSON encoding backward compatibility | |
| Pact.Types.Orphans | |
| Var Int () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Var () () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Scope Int [] () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Scope Int (Var ()) () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.PactError | |
| PactErrorType | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| StackFrame | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| PactError | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| OutputType | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| RenderedOutput | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.ChainId | |
| ChainId | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| NetworkId | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Namespace | |
| Namespace () | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Gas | |
| GasLimit | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| GasPrice | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Parse | |
| ParsedInteger | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ParsedDecimal | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.ChainMeta | |
| EntityName | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| TTLSeconds | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| TxCreationTime | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Address | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| PrivateMeta | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| PublicMeta | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| PublicData | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Info | |
| Info | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Code | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Names | |
| NamespaceName | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ModuleName | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| DefName | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| FullyQualifiedName | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| QualifiedName | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| DynamicName | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Name | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| NativeDefName | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| TableName | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.KeySet | |
| KeySet | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| KeySetName | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Exp | |
| Literal | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ListDelimiter | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Separator | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| LiteralExp () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| AtomExp () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ListExp () | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| SeparatorExp () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Exp () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Type | |
| TypeName | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Arg () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| FunType () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| GuardType | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| PrimType | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| SchemaType | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| TypeVarName | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| TypeVar () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| SchemaPartial | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Type () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Term | |
| Meta | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| PactId | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| UserGuard () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| DefType | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Gas | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| BindType () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| BindPair () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| App () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Governance () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ModuleHash | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| DefcapMeta () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| DefMeta () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ConstVal () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| FieldKey | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Step () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ModRef | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ModuleGuard | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| PactGuard | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ObjectMap () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Use | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| CapabilityGuard () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Guard () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Module () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Interface | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ModuleDef () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| FunApp | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Def () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Lam () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Object () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Term () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.PactValue | |
| PactValue | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Continuation | |
| Provenance | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Yield | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| PactContinuation | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| NestedPactExec | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| PactExec | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Hash | |
| Hash | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| TypedHash 'Blake2b_256 | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Scheme | |
| PPKScheme | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Persistence | |
| PersistDirect | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ModuleData () | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ModuleData (Ref' PersistDirect) | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Ref' PersistDirect | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| TxLog () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| TxId | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Runtime | |
| PactEvent | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ExecutionFlag | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.SPV | |
| ContProof | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Capability | |
| SigCapability | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.RPC | |
| PactRPC () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding FAILED [1] | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ExecMsg () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding FAILED [2] | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| ContMsg | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding FAILED [3] | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.Command | |
| UserSig | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Command () | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Signer | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Payload () () | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding FAILED [4] | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| PactResult | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| CommandResult () | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| RequestKey | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| Pact.Types.SigData | |
| PublicKeyHex | |
| roundtrip | |
| +++ OK, passed 100 tests. | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| SigData () | |
| roundtrip | |
| # PENDING: No reason given | |
| encoding is compatible with toLegacyJson encoding | |
| +++ OK, passed 100 tests. | |
| toJSON and toEncoding are equivalent | |
| # PENDING: No reason given | |
| SizeOfSpec | |
| SizeOf SizeOfV0 generics conform to specification | |
| Costs only one word for shared data types | |
| Costs the constructor size + 1 word per field | |
| Works with parametrically defined instances | |
| Prices newtype instance with standalone deriving like constructor | |
| Prices newtype instance with GND like a newtype | |
| SizeOf SizeOfV1 generics conform to specification | |
| Costs only one word for shared data types | |
| Costs the constructor size + 1 word per field | |
| Works with parametrically defined instances | |
| Prices newtype instance with standalone deriving like constructor | |
| Prices newtype instance with GND like a newtype | |
| SizeOfV1 Changes | |
| Costs integers differently post-fork | |
| PactTestsSpec | |
| pact tests | |
| tests/pact/ops.repl | |
| tests/pact/fv-shims.repl | |
| tests/pact/toplevel.repl | |
| tests/pact/meta.repl | |
| tests/pact/modrefs.repl | |
| tests/pact/principals.repl | |
| tests/pact/lambda.repl | |
| tests/pact/lib.repl | |
| tests/pact/decrypt.repl | |
| tests/pact/strtoint.repl | |
| tests/pact/imports.repl | |
| tests/pact/yield-rollback.repl | |
| tests/pact/base64.repl | |
| tests/pact/nested-defpacts.repl | |
| tests/pact/strings.repl | |
| tests/pact/fqns.repl | |
| tests/pact/json.repl | |
| tests/pact/hash.repl | |
| tests/pact/time.repl | |
| tests/pact/lists.repl | |
| tests/pact/tc.repl | |
| tests/pact/namespaces.repl | |
| tests/pact/upgrades.repl | |
| tests/pact/parsing.repl | |
| tests/pact/signatures.repl | |
| tests/pact/keysets.repl | |
| tests/pact/gas.repl | |
| tests/pact/caps.repl | |
| tests/pact/spv.repl | |
| tests/pact/pubdata.repl | |
| tests/pact/scheme.repl | |
| tests/pact/db.repl | |
| tests/pact/gov.repl | |
| tests/pact/simple.repl | |
| tests/pact/yield.repl | |
| tests/pact/leftpad.repl | |
| tests/pact/try.repl | |
| bad pact tests | |
| bad-tests/pact/bad/bad-import-deftable.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-import-defcap.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-import-wrong-hash.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-pact.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-module-enforce-ns-user.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-modules-disabled.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-modrefs-empty.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-defcap-explicit-mgr-auto-impl.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-ns-def.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-iface-enforce-ns-user.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-term-in-list.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-root-namespace-44.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-parens.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-dupe-def.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-import-unimported-reference.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-root-namespace-upgrade.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-repl-native.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-modrefs.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-root-namespace.repl | |
| has error in badErrors | |
| failed as expected | |
| bad-tests/pact/bad/bad-namespace-upgrade.repl | |
| has error in badErrors | |
| failed as expected | |
| accounts regression | |
| examples/accounts/accounts.repl | |
| cp regression | |
| examples/cp/cp.repl | |
| verified accounts regression | |
| examples/verified-accounts/accounts.repl | |
| test production parser | |
| tests/pact/ops.repl | |
| parsing succeeds | |
| tests/pact/fv-shims.repl | |
| parsing succeeds | |
| tests/pact/toplevel.repl | |
| parsing succeeds | |
| tests/pact/meta.repl | |
| parsing succeeds | |
| tests/pact/modrefs.repl | |
| parsing succeeds | |
| tests/pact/principals.repl | |
| parsing succeeds | |
| tests/pact/lambda.repl | |
| parsing succeeds | |
| tests/pact/lib.repl | |
| parsing succeeds | |
| tests/pact/decrypt.repl | |
| parsing succeeds | |
| tests/pact/strtoint.repl | |
| parsing succeeds | |
| tests/pact/imports.repl | |
| parsing succeeds | |
| tests/pact/yield-rollback.repl | |
| parsing succeeds | |
| tests/pact/base64.repl | |
| parsing succeeds | |
| tests/pact/nested-defpacts.repl | |
| parsing succeeds | |
| tests/pact/strings.repl | |
| parsing succeeds | |
| tests/pact/fqns.repl | |
| parsing succeeds | |
| tests/pact/json.repl | |
| parsing succeeds | |
| tests/pact/hash.repl | |
| parsing succeeds | |
| tests/pact/time.repl | |
| parsing succeeds | |
| tests/pact/lists.repl | |
| parsing succeeds | |
| tests/pact/tc.repl | |
| parsing succeeds | |
| tests/pact/namespaces.repl | |
| parsing succeeds | |
| tests/pact/upgrades.repl | |
| parsing succeeds | |
| tests/pact/parsing.repl | |
| parsing succeeds | |
| tests/pact/signatures.repl | |
| parsing succeeds | |
| tests/pact/keysets.repl | |
| parsing succeeds | |
| tests/pact/gas.repl | |
| parsing succeeds | |
| tests/pact/caps.repl | |
| parsing succeeds | |
| tests/pact/spv.repl | |
| parsing succeeds | |
| tests/pact/pubdata.repl | |
| parsing succeeds | |
| tests/pact/scheme.repl | |
| parsing succeeds | |
| tests/pact/db.repl | |
| parsing succeeds | |
| tests/pact/gov.repl | |
| parsing succeeds | |
| tests/pact/simple.repl | |
| parsing succeeds | |
| tests/pact/yield.repl | |
| parsing succeeds | |
| tests/pact/leftpad.repl | |
| parsing succeeds | |
| tests/pact/try.repl | |
| parsing succeeds | |
| test legacy production parser | |
| tests/pact/ops.repl | |
| parsing succeeds | |
| tests/pact/fv-shims.repl | |
| parsing succeeds | |
| tests/pact/toplevel.repl | |
| parsing succeeds | |
| tests/pact/meta.repl | |
| parsing succeeds | |
| tests/pact/modrefs.repl | |
| parsing succeeds | |
| tests/pact/principals.repl | |
| parsing succeeds | |
| tests/pact/lambda.repl | |
| parsing succeeds | |
| tests/pact/lib.repl | |
| parsing succeeds | |
| tests/pact/decrypt.repl | |
| parsing succeeds | |
| tests/pact/strtoint.repl | |
| parsing succeeds | |
| tests/pact/imports.repl | |
| parsing succeeds | |
| tests/pact/yield-rollback.repl | |
| parsing succeeds | |
| tests/pact/base64.repl | |
| parsing succeeds | |
| tests/pact/nested-defpacts.repl | |
| parsing succeeds | |
| tests/pact/strings.repl | |
| parsing succeeds | |
| tests/pact/fqns.repl | |
| parsing succeeds | |
| tests/pact/json.repl | |
| parsing succeeds | |
| tests/pact/hash.repl | |
| parsing succeeds | |
| tests/pact/time.repl | |
| parsing succeeds | |
| tests/pact/lists.repl | |
| parsing succeeds | |
| tests/pact/tc.repl | |
| parsing succeeds | |
| tests/pact/namespaces.repl | |
| parsing succeeds | |
| tests/pact/upgrades.repl | |
| parsing succeeds | |
| tests/pact/parsing.repl | |
| parsing succeeds | |
| tests/pact/signatures.repl | |
| parsing succeeds | |
| tests/pact/keysets.repl | |
| parsing succeeds | |
| tests/pact/gas.repl | |
| parsing succeeds | |
| tests/pact/caps.repl | |
| parsing succeeds | |
| tests/pact/spv.repl | |
| parsing succeeds | |
| tests/pact/pubdata.repl | |
| parsing succeeds | |
| tests/pact/scheme.repl | |
| parsing succeeds | |
| tests/pact/db.repl | |
| parsing succeeds | |
| tests/pact/gov.repl | |
| parsing succeeds | |
| tests/pact/simple.repl | |
| parsing succeeds | |
| tests/pact/yield.repl | |
| parsing succeeds | |
| tests/pact/leftpad.repl | |
| parsing succeeds | |
| tests/pact/try.repl | |
| parsing succeeds | |
| ParserSpec | |
| loadBadParens | |
| should fail due to extra close-parens | |
| should parse correctly | |
| should fail due to a rollback on the last step | |
| runBadTests | |
| should not parse bad object | |
| should not parse overly-long decimal literals | |
| prettyLit | |
| cmd: '{"networkId":null,"payload":{"exec":{"data":null,"code":"(test.run-escrow \"Alice\" \"Bob\")"}},"signers":[{"pubKey":"7d0c9ba189927df85c8c54f8b5c8acd76c1d27e923abbf25a957afdf25550804","clist":[{"args":["Alice"],"name":"accounts.USER_GUARD"}]}],"meta":{"creationTime":0,"ttl":0,"gasLimit":0,"chainId":"","gasPrice":0,"sender":""},"nonce":"just-sign-exec"}' | |
| hash: i1S2rUgEyfBl393oWEwts3DzuyCvraemXA9A1Bno6sg | |
| sigs: | |
| 7d0c9ba189927df85c8c54f8b5c8acd76c1d27e923abbf25a957afdf25550804: null | |
| cmd: '{"networkId":null,"payload":{"cont":{"proof":null,"data":null,"pactId":"TNgO7o8nSZILVCfJPcg5IjHADy-XKvQ7o5RfAieJvwY","rollback":false,"step":1}},"signers":[{"pubKey":"ac69d9856821f11b8e6ca5cdd84a98ec3086493fd6407e74ea9038407ec9eba9"}],"meta":{"creationTime":0,"ttl":0,"gasLimit":0,"chainId":"","gasPrice":0,"sender":""},"nonce":"\"just-sign-cont\""}' | |
| hash: fM6NN_dHKTFOHESR6XMBh-aqr4FSL28NDe2L619GcDg | |
| sigs: | |
| ac69d9856821f11b8e6ca5cdd84a98ec3086493fd6407e74ea9038407ec9eba9: null | |
| 123 prints properly | |
| -123 prints properly | |
| 123.0 prints properly | |
| -123.0 prints properly | |
| 123.45 prints properly | |
| -123.45 prints properly | |
| true prints properly | |
| ✓ <interactive> passed 100 tests. | |
| false prints properly | |
| string prints properly | |
| ✓ <interactive> passed 100 tests. | |
| narrowTryBackCompat | |
| preserves old try bug | |
| ✓ <interactive> passed 100 tests. | |
| parseModuleName | |
| should parse a module name | |
| ✓ <interactive> passed 100 tests. | |
| should parse a namespaced module name | |
| should not parse the empty string | |
| should not parse a single dot | |
| should not parse extra dots | |
| should not parse three components | |
| parseQualifiedName | |
| should parse a qualified name | |
| should parse a namespaced qualified name | |
| should not parse the empty string | |
| should not parse a single dot | |
| should not parse extra dots | |
| should not parse four components | |
| SignatureSpec | |
| Module models | |
| should find all exps defined in interface in corresponding module | |
| SchemeSpec | |
| working with crypto schemes | |
| test importing Key Pair for each Scheme | |
| imports ED25519 Key Pair | |
| imports ETH Key Pair | |
| test default scheme in ApiKeyPair | |
| when scheme not provided in API | |
| makes the scheme the default PPKScheme | |
| test for correct address in ApiKeyPair | |
| throws error when address provided in API doesn't match derived address | |
| test PublicKey import | |
| derives PublicKey from the PrivateKey when PublicKey not provided | |
| throws error when PublicKey provided does not match derived PublicKey | |
| test UserSig creation and verificaton | |
| successfully verifies user-provided ETH Signature | |
| fails UserSig validation when UserSig has unexpected Address | |
| fails UserSig validation when UserSig has unexpected Scheme | |
| provides default ppkscheme when one not provided | |
| makes address field the full public key when one not provided | |
| test signature non-malleability | |
| fails when invalid signature provided for signer specified in the payload | |
| fails when number of signatures does not match number of payload signers | |
| testSigsRoundtrip | |
| SigsRoundtrip succeeds | |
| AnalyzePropertiesSpec | |
| analyze properties | |
| should round-trip types | |
| should round-trip terms | |
| should evaluate to the same | |
| should evaluate format-time to the same | |
| show round-trip pretty / parse | |
| # PENDING: No reason given | |
| pretty should have the same result on both the pact and analyze side | |
| # PENDING: No reason given | |
| AnalyzeSpec | |
| analyze | |
| decimal arithmetic | |
| + | |
| * + + | |
| * + - | |
| * - + | |
| * - - | |
| negate | |
| negate | |
| shifts | |
| shifts | |
| shifts | |
| floor | |
| floor | |
| floor | |
| decimal division | |
| can be one half | |
| handles the last decimal correctly | |
| handles the last decimal digit correctly (positive, round up 1) | |
| handles the last decimal digit correctly (positive, round up 2) | |
| handles the last decimal digit correctly (positive, round up 3) | |
| handles the last decimal digit correctly (positive, round down 1) | |
| handles the last decimal digit correctly (positive, round down 2) | |
| handles the last decimal digit correctly (positive, round down 3) | |
| handles the last decimal digit correctly (negative, round down 1) | |
| handles the last decimal digit correctly (negative, round down 2) | |
| handles the last decimal digit correctly (negative, round down 3) | |
| handles the last decimal digit correctly (negative, round up 1) | |
| handles the last decimal digit correctly (negative, round up 2) | |
| handles the last decimal digit correctly (negative, round up 3) | |
| handles division by a negative number correctly | |
| big multiplications | |
| expectPass | |
| rounds up the last digit when appropriate | |
| expectPass | |
| banker's method | |
| rounds (_.5) to the nearest even | |
| rounds (_.5) to the nearest even | |
| rounds (_.5) to the nearest even | |
| rounds (_.5) to the nearest even | |
| result | |
| expectPass | |
| inlining | |
| expectPass | |
| success | |
| expectPass | |
| expectPass | |
| enforce.trivial | |
| expectPass | |
| expectPass | |
| expectFail | |
| enforce.conditional | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectFail | |
| enforce.sequence | |
| expectPass | |
| enforce.sequence | |
| expectPass | |
| expectPass | |
| enforce.sequence | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| enforce.purity.read | |
| expectFailureMessage | |
| enforce.purity.write | |
| expectFailureMessage | |
| enforce.purity.insert | |
| expectFailureMessage | |
| enforce.purity.update | |
| expectFailureMessage | |
| read-keyset.equality | |
| expectPass | |
| enforce-keyset.name.static | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectFail | |
| enforce-keyset.name.dynamic | |
| expectPass | |
| enforce-keyset.value | |
| expectPass | |
| expectPass | |
| enforce-keyset.purity | |
| expectPass | |
| expectPass | |
| enforce-guard | |
| expectPass | |
| expectPass | |
| enforce-guard.purity | |
| expectPass | |
| expectPass | |
| read-decimal | |
| expectPass | |
| expectPass | |
| read-integer | |
| expectPass | |
| expectFail | |
| expectPass | |
| read-string | |
| value can be anything | |
| expectPass | |
| expectPass | |
| read always produces the same value | |
| expectPass | |
| enforce-keyset.row-level.at | |
| expectPass | |
| enforce-keyset.row-level.read | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| enforce-keyset.row-level.read.syntax | |
| expectPass | |
| enforce-keyset.row-level.multiple-keysets | |
| expectPass | |
| expectFail | |
| enforce-keyset.row-level.write | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| enforce-keyset.row-level.write-count | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| enforce-keyset.row-level.write.invalidation | |
| expectFail | |
| expectFail | |
| enforce-guard.row-level | |
| passes in-code checks | |
| keyset-ref-guard | |
| passes in-code checks | |
| create-pact-guard | |
| expectPass | |
| expectPass | |
| create-user-guard passing | |
| passes in-code checks | |
| create-user-guard failing | |
| expectPass | |
| user guards can't fail unless enforced | |
| expectPass | |
| create-capability-guard: success | |
| expectPass | |
| create-capability-guard: failure | |
| expectPass | |
| create-capability-pact-guard: failure | |
| passes in-code checks | |
| # PENDING: TODO fix pact guard FV #1061 | |
| create-capability-pact-guard: failure, not in pact | |
| expectPass | |
| # PENDING: TODO fix pact guard FV #1061 | |
| call-by-value semantics for inlining | |
| passes in-code checks | |
| trivial capability which always fails | |
| expectPass | |
| trivial capability which always succeeds | |
| expectPass | |
| capability returning false succeeds because it doesn't throw | |
| expectPass | |
| requesting token that was never granted | |
| expectPassWithWarning | |
| requesting token that was granted | |
| expectPass | |
| requesting different capability fails | |
| expectPassWithWarning | |
| requesting token that was not granted for the same args | |
| expectPass | |
| require-capability does not execute the capability | |
| expectPass | |
| token caching works for expressions which perform computation | |
| expectPass | |
| compose-capability grants an additional capability | |
| expectPass | |
| compose-capability can fail | |
| expectPass | |
| compose-capability only grants for specific arguments | |
| expectPass | |
| capabilities are not granted until the body of with-capability | |
| expectPass | |
| compose-capability calls produce return values | |
| expectPass | |
| capability-based governance is not analyzed and can always pass or fail | |
| passed check | |
| passed check | |
| property language can describe whether cap-based governance passes | |
| passes in-code checks | |
| property language can describe whether ks-based governance passes without mentioning the keyset | |
| passes in-code checks | |
| keyset-based governance is connected to authorized-by | |
| passes in-code checks | |
| enforce-one.1 | |
| expectPass | |
| enforce-one.2 | |
| expectPass | |
| expectPass | |
| enforce-one.3 | |
| expectPass | |
| enforce-one.4 | |
| expectPass | |
| expectPass | |
| enforce-one.5 | |
| expectPass | |
| enforce-one.6 | |
| expectPass | |
| expectPass | |
| enforce-one.7 | |
| expectPass | |
| expectPass | |
| enforce-one.8 | |
| expectPass | |
| expectPass | |
| enforce-one.9 | |
| expectPass | |
| enforce-one.10 | |
| expectPass | |
| enforce-one.allow-reads | |
| expectPass | |
| enforce-one.disallow-writes | |
| expectFailureMessage | |
| enforce-one.purity-from-outer-enforce | |
| expectFailureMessage | |
| enforce-one.single-case-regression | |
| expectPass | |
| expectFail | |
| expectFail | |
| expectPass | |
| expectPass | |
| string length | |
| passes in-code checks | |
| list length | |
| passes in-code checks | |
| object length | |
| passes in-code checks | |
| pact-id | |
| expectPass | |
| expectPass | |
| expectPass | |
| logical short-circuiting | |
| and | |
| expectPass | |
| expectPass | |
| or | |
| expectPass | |
| expectPass | |
| table-read.multiple-read | |
| expectPass | |
| expectPass | |
| table-read.one-read | |
| expectPass | |
| expectPass | |
| at.dynamic-key | |
| expectPass | |
| expectPass | |
| at.object-in-object | |
| expectPass | |
| object-equality | |
| passes in-code checks | |
| object-inequality | |
| expectPass | |
| merging-objects | |
| passes in-code checks | |
| table-read | |
| expectPass | |
| expectPass | |
| table-written.insert | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| table-written.insert.partial | |
| fails typechecking | |
| table-written.update | |
| expectPass | |
| table-written.update.partial | |
| expectPass | |
| table-written.write | |
| expectPass | |
| table-written.write.partial | |
| fails typechecking | |
| table-written.conditional | |
| expectPass | |
| expectPass | |
| expectPass | |
| table-written.conditional | |
| expectPass | |
| conserves-mass.integer | |
| expectPass | |
| conserves-mass.integer.insert | |
| expectPass | |
| conserves-mass.integer.without-uniqueness | |
| expectPass | |
| expectPass | |
| conserves-mass.decimal | |
| passes in-code checks | |
| expectPass | |
| conserves-mass.decimal.insert | |
| expectPass | |
| conserves-mass.decimal.failing-invariant | |
| should have no prop results | |
| has valid invariantResults | |
| cell-delta.integer | |
| passes in-code checks | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| expectPass | |
| with-read | |
| expectPass | |
| with-read.nested | |
| expectPass | |
| with-read.overlapping-names | |
| expectPass | |
| bind.from-read | |
| expectPass | |
| bind.from-literal | |
| expectPass | |
| let | |
| sanity | |
| 1 | |
| expectPass | |
| 2 | |
| expectPass | |
| let*.sanity | |
| expectPass | |
| nested | |
| expectPass | |
| chain-data | |
| block-height field | |
| passes in-code checks | |
| block-time field | |
| expectPass | |
| chain-id field | |
| expectPass | |
| gas-limit field | |
| passes in-code checks | |
| gas-price field | |
| passes in-code checks | |
| sender field | |
| expectPass | |
| prev-block-hash field | |
| expectPass | |
| caching | |
| passes in-code checks | |
| time | |
| expectPass | |
| str-to-int | |
| without specified base | |
| concrete string | |
| valid inputs | |
| expectPass | |
| invalid inputs | |
| expectFail | |
| expectFail | |
| expectFail | |
| expectFail | |
| expectFail | |
| expectFail | |
| symbolic string | |
| expectPass | |
| expectPass | |
| with specified base | |
| concrete string and base | |
| valid inputs | |
| expectPass | |
| invalid inputs | |
| expectFail | |
| expectFail | |
| expectFail | |
| symbolic string and concrete base | |
| only base 10 is supported | |
| expectPass | |
| expectPass | |
| concrete string and symbolic base | |
| passes in-code checks | |
| symbolic string and symbolic base | |
| unsupported | |
| expectFail | |
| big round | |
| expectPass | |
| arith | |
| expectPass | |
| schema-invariants | |
| passes in-code checks | |
| expectPass | |
| schema-invariants.not-equals | |
| passes in-code checks | |
| expectPass | |
| schema-invariants.equals | |
| passes in-code checks | |
| expectPass | |
| schema-invariants.var-out-of-scope-regression | |
| for reads | |
| passes in-code checks | |
| for writes | |
| passes in-code checks | |
| format-time / parse-time | |
| expectPass | |
| format | |
| expectPass | |
| hash | |
| expectPass | |
| enforce-keyset.row-level.read | |
| passes in-code checks | |
| expectPass | |
| expectPass | |
| prenex conversion | |
| lifts all over not (becomes exists) | |
| lifts exists over not (becomes all) | |
| lifts all over or | |
| lifts all over and | |
| lifts exists over or | |
| lifts exists over and | |
| lifts forall string | |
| lifts over a list | |
| evaluation by sbv | |
| passes in-code checks | |
| invariant features | |
| string concatenation | |
| passes in-code checks | |
| string length | |
| passes in-code checks | |
| string to int | |
| passes in-code checks | |
| string contains | |
| passes in-code checks | |
| floor on decimal balance using constant | |
| passes in-code checks | |
| prop parse / typecheck | |
| infers column-delta | |
| checks + | |
| checks abs | |
| check take/drop | |
| infers prop objects | |
| infers forall / exists | |
| parses row-enforced / vars | |
| parses column properties | |
| parses (when (not (authorized-by 'accounts-admin-keyset)) abort) | |
| handles special identifiers | |
| parses quantified tables | |
| parses quantified columns | |
| # PENDING: parsing quantified table names | |
| pretty (PreProp) | |
| renders literals how you would expect | |
| renders quantifiers how you would expect | |
| table quantification | |
| passes in-code checks | |
| column-read | |
| passes in-code checks | |
| column quantification | |
| passes in-code checks | |
| Pretty | |
| schema looks okay | |
| at-properties verify | |
| passes in-code checks | |
| user-defined properties verify | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| user-defined properties can't be recursive | |
| passes in-code checks | |
| passes in-code checks | |
| execution trace | |
| is a linearized trace of events | |
| produces the correct trace | |
| doesn't include events excluded by a conditional | |
| produces the correct trace | |
| doesn't include events after a failed enforce | |
| produces the correct trace | |
| doesn't include cases after a successful enforce-one case | |
| produces the correct trace | |
| doesn't include events after the first failure in an enforce-one case | |
| produces the correct trace | |
| trace of a pact execution | |
| produces the correct trace | |
| references to module constants | |
| passes in-code checks | |
| module-scoped properties verify | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| read (property) | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| expectPass | |
| expectPass | |
| expectPass | |
| list literals | |
| passes in-code checks | |
| passes in-code checks | |
| deprecated list literals | |
| expectFail | |
| make-list | |
| passes in-code checks | |
| string drop | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| string take | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| list drop | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| list take | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| list at | |
| passes in-code checks | |
| passes in-code checks | |
| expectPass | |
| passes in-code checks | |
| query fails | |
| string contains | |
| passes in-code checks | |
| list contains | |
| passes in-codNo examples for list-modules | |
| No examples for pact-id | |
| No examples for resume | |
| No examples for describe-keyset | |
| No examples for create-module-guard | |
| No examples for create-pact-guard | |
| No examples for create-user-guard | |
| No examples for keyset-ref-guard | |
| No examples for env-gaslimit | |
| No examples for env-gasprice | |
| No examples for env-gasrate | |
| No examples for format-address | |
| No examples for print | |
| No examples for sig-keyset | |
| No examples for typecheck | |
| No examples for verify | |
| e checks | |
| passes in-code checks | |
| list concat | |
| passes in-code checks | |
| passes in-code checks | |
| list reverse | |
| passes in-code checks | |
| list sort | |
| passes in-code checks | |
| identity | |
| passes in-code checks | |
| list map | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| constantly | |
| passes in-code checks | |
| ignores multiple variables | |
| # PENDING: implementation | |
| passes in-code checks | |
| list filter | |
| passes in-code checks | |
| passes in-code checks | |
| list fold | |
| passes in-code checks | |
| and? | |
| passes in-code checks | |
| or? | |
| passes in-code checks | |
| typeof | |
| passes in-code checks | |
| read columns | |
| read after write | |
| # PENDING: partial row typechecking (#360) | |
| only includes the specified columns | |
| # PENDING: partial row typechecking (#360) | |
| using a separate function to state properties of multiple function calls | |
| associativity of addition | |
| passes in-code checks | |
| testing monotonicity of a function | |
| passes in-code checks | |
| checking pacts | |
| working payment (step checking) | |
| passes in-code checks | |
| failing payment (step checking) | |
| passes in-code checks | |
| single-step pact | |
| passes in-code checks | |
| passes in-code checks | |
| many-step pact | |
| passes in-code checks | |
| nontrivial many step pact | |
| passes in-code checks | |
| yield / resume | |
| passes in-code checks | |
| yield with chain-id specified | |
| passes in-code checks | |
| defpact property timeout on 2nd step only | |
| passes in-code checks | |
| # PENDING: disabled, for exercising timeout | |
| with-default-read | |
| passes in-code checks | |
| passes in-code checks | |
| passes in-code checks | |
| succeeds-when / fails-when | |
| passes in-code checks | |
| passes in-code checks | |
| scope-checking interfaces | |
| flags reciever != receiver | |
| checks when spelled correctly | |
| vacuous property produces error | |
| passes in-code checks | |
| ClientSpec | |
| Servant API client tests | |
| correctly runs a simple command locally | |
| correctly runs a simple command with pact error locally | |
| correctly runs a simple command publicly and listens to the result | |
| correctly runs a simple command with pact error publicly and listens to the result | |
| DocgenSpec | |
| runs Docgen.main | |
| GasModelSpec | |
| gas model tests | |
| untestedNativesCheck | |
| only deprecated or constant natives should be missing gas model tests | |
| allGasTestsAndGoldenShouldPass | |
| NativeDefName "<" | |
| NativeDefName "log" | |
| NativeDefName "length" | |
| NativeDefName "and?" | |
| NativeDefName "install-capability" | |
| NativeDefName "read-decimal" | |
| NativeDefName "base64-encode" | |
| NativeDefName "enumerate" | |
| NativeDefName "emit-event" | |
| NativeDefName "|" | |
| NativeDefName "sqrt" | |
| NativeDefName "days" | |
| NativeDefName "enforce-one" | |
| NativeDefName "create-table" | |
| NativeDefName "if" | |
| NativeDefName "keys-any" | |
| NativeDefName "insert" | |
| NativeDefName "hash" | |
| NativeDefName "*" | |
| NativeDefName "read" | |
| NativeDefName "read-string" | |
| NativeDefName "read-keyset" | |
| NativeDefName "round" | |
| NativeDefName "not?" | |
| NativeDefName "write" | |
| NativeDefName "where" | |
| NativeDefName "not" | |
| NativeDefName "time" | |
| NativeDefName "at" | |
| NativeDefName "str-to-int" | |
| NativeDefName "exp" | |
| NativeDefName "-" | |
| NativeDefName "xor" | |
| NativeDefName "compose-capability" | |
| NativeDefName "define-keyset" | |
| NativeDefName "=" | |
| NativeDefName "with-read" | |
| NativeDefName "parse-time" | |
| NativeDefName "int-to-str" | |
| NativeDefName "describe-keyset" | |
| NativeDefName "create-user-guard" | |
| NativeDefName "txlog" | |
| NativeDefName "abs" | |
| NativeDefName "require-capability" | |
| NativeDefName "chain-data" | |
| NativeDefName "shift" | |
| NativeDefName "keys-all" | |
| NativeDefName "floor" | |
| NativeDefName "+" | |
| NativeDefName "describe-namespace" | |
| NativeDefName "define-namespace" | |
| NativeDefName "use" | |
| NativeDefName "format" | |
| NativeDefName "zip" | |
| NativeDefName "tx-hash" | |
| NativeDefName "and" | |
| NativeDefName "keylog" | |
| NativeDefName "ceiling" | |
| NativeDefName "hours" | |
| NativeDefName "namespace" | |
| NativeDefName "~" | |
| NativeDefName "mod" | |
| NativeDefName "typeof-principal" | |
| NativeDefName ">" | |
| NativeDefName "validate-keypair" | |
| NativeDefName "^" | |
| NativeDefName "read-msg" | |
| NativeDefName "remove" | |
| NativeDefName "list-modules" | |
| NativeDefName "base64-decode" | |
| NativeDefName "enforce-guard" | |
| NativeDefName "drop" | |
| NativeDefName "<=" | |
| NativeDefName "validate-principal" | |
| NativeDefName "fold" | |
| NativeDefName "bind" | |
| NativeDefName "keys" | |
| NativeDefName "concat" | |
| NativeDefName "!=" | |
| NativeDefName "str-to-list" | |
| NativeDefName "map" | |
| NativeDefName "with-capability" | |
| NativeDefName "create-pact-guard" | |
| NativeDefName "try" | |
| NativeDefName "/" | |
| NativeDefName "enforce-pact-version" | |
| NativeDefName "module" | |
| NativeDefName "distinct" | |
| NativeDefName "txids" | |
| NativeDefName "create-capability-pact-guard" | |
| NativeDefName "ln" | |
| NativeDefName "or?" | |
| NativeDefName "fold-db" | |
| NativeDefName "sort" | |
| NativeDefName "describe-module" | |
| NativeDefName "is-charset" | |
| NativeDefName "interface" | |
| NativeDefName "or" | |
| NativeDefName "decrypt-cc20p1305" | |
| NativeDefName "yield" | |
| NativeDefName "is-principal" | |
| NativeDefName "minutes" | |
| NativeDefName "diff-time" | |
| NativeDefName "make-list" | |
| NativeDefName "filter" | |
| NativeDefName "compose" | |
| NativeDefName "select" | |
| NativeDefName "reverse" | |
| NativeDefName "keys-2" | |
| NativeDefName "contains" | |
| NativeDefName "format-time" | |
| NativeDefName "create-principal" | |
| NativeDefName ">=" | |
| NativeDefName "take" | |
| NativeDefName "constantly" | |
| NativeDefName "with-default-read" | |
| NativeDefName "create-module-guard" | |
| NativeDefName "pact-id" | |
| NativeDefName "enforce" | |
| NativeDefName "describe-table" | |
| NativeDefName "identity" | |
| NativeDefName "enforce-keyset" | |
| NativeDefName "&" | |
| NativeDefName "update" | |
| NativeDefName "resume" | |
| NativeDefName "keyset-ref-guard" | |
| NativeDefName "add-time" | |
| NativeDefName "read-integer" | |
| NativeDefName "typeof" | |
| NativeDefName "pact-version" | |
| NativeDefName "create-capability-guard" | |
| gas model tests should not return a PactError, but should pass golden | |
| Golden and Actual output hasn't changed | |
| allNativesInGasTable | |
| all native functions should be in gas table | |
| goldenSizeOfPactValues | |
| passes sizeOf golden test with pseudo-random literal-string pact value | |
| passes sizeOf golden test with pseudo-random literal-integer pact value | |
| passes sizeOf golden test with pseudo-random literal-decimal pact value | |
| passes sizeOf golden test with pseudo-random literal-bool pact value | |
| passes sizeOf golden test with pseudo-random literal-time pact value | |
| passes sizeOf golden test with pseudo-random guard-pact pact value | |
| passes sizeOf golden test with pseudo-random guard-keySet pact value | |
| passes sizeOf golden test with pseudo-random guard-keySetRef pact value | |
| passes sizeOf golden test with pseudo-random guard-module pact value | |
| passes sizeOf golden test with pseudo-random guard-user pact value | |
| passes sizeOf golden test with pseudo-random list pact value | |
| passes sizeOf golden test with pseudo-random object-map pact value | |
| GoldenSpec | |
| goldenAccounts | |
| golden/golden.accounts.repl loaded module | |
| golden/golden.accounts.repl matches golden | |
| Golden and Actual output hasn't changed | |
| successCR | |
| matches golden encoded | |
| Golden and Actual output hasn't changed | |
| failureCR | |
| matches golden encoded FAILED [5] | |
| Files golden and actual not match | |
| eventCR | |
| matches golden encoded | |
| Golden and Actual output hasn't changed | |
| crossChainSendCR | |
| matches golden encoded | |
| Golden and Actual output hasn't changed | |
| crossChainSendCRBackCompat | |
| matches golden encoded | |
| Golden and Actual output hasn't changed | |
| goldenAutoCap | |
| golden/golden.autocap.repl loaded module | |
| golden/golden.autocap.repl matches golden | |
| Golden and Actual output hasn't changed | |
| goldenLambdas | |
| golden/golden.lams.repl loaded module | |
| golden/golden.lams.repl matches golden | |
| Golden and Actual output hasn't changed | |
| goldenModuleMemcheck | |
| golden/golden.memcheck.repl loaded module | |
| golden/golden.memcheck.repl matches golden | |
| Golden and Actual output hasn't changed | |
| goldenFullyQuals | |
| golden/golden.fqns.repl loaded module | |
| golden/golden.fqns.repl matches golden | |
| Golden and Actual output hasn't changed | |
| goldenNamespaced keysets | |
| golden/golden.nks.repl loaded module | |
| golden/golden.nks.repl matches golden | |
| Golden and Actual output hasn't changed | |
| golden root ns module upgrade | |
| golden/golden.rootnamespace.repl loaded module | |
| golden/golden.rootnamespace.repl matches golden | |
| Golden and Actual output hasn't changed | |
| HistoryServiceSpec | |
| roundtrip | |
| should have results | |
| should replay command | |
| should have replay results | |
| PactContinuationSpec | |
| pacts in dev server | |
| testPactContinuation | |
| sends (+ 1 2) command to locally running dev server | |
| when provided with correct next step | |
| executes the next step and updates pact's state FAILED [6] | |
| when provided with incorrect next step | |
| throws error and does not update pact's state FAILED [7] | |
| when last step of a pact executed | |
| deletes pact from the state FAILED [8] | |
| when error occurs when executing pact step | |
| throws error and does not update pact's state FAILED [9] | |
| testPactRollback | |
| when provided with correct rollback step | |
| executes the rollback function and deletes pact from state FAILED [10] | |
| when provided with incorrect rollback step | |
| throws error and does not delete pact from state FAILED [11] | |
| when error occurs when executing rollback function | |
| throws error and does not delete pact from state FAILED [12] | |
| when trying to rollback a step without a rollback function | |
| outputs a rollback failure and doesn't change the pact's state FAILED [13] | |
| testPactYield | |
| when previous step yields value | |
| resumes value FAILED [14] | |
| when previous step does not yield value | |
| throws error when trying to resume, and does not delete pact from state FAILED [15] | |
| resets yielded values after each step FAILED [16] | |
| testCrossChainYield:succeeds with same module FAILED [17] | |
| testCrossChainYield:succeeds with back compat FAILED [18] | |
| testCrossChainYield:fails with different module FAILED [19] | |
| testCrossChainYield:succeeds with blessed module FAILED [20] | |
| testTwoPartyEscrow | |
| when debtor tries to cancel pre-timeout | |
| throws error and money still escrowed FAILED [21] | |
| when debtor tries to cancel after timeout | |
| cancels escrow and deposits escrowed amount back to debtor FAILED [22] | |
| cancels escrow immediately if creditor cancels FAILED [23] | |
| throws error when creditor or debtor try to finish alone FAILED [24] | |
| throws error when final price negotiated up FAILED [25] | |
| when both debtor and creditor finish together | |
| finishes escrow if final price stays the same or negotiated down FAILED [26] | |
| with valid price, still fails if bad cap is on a signature FAILED [27] | |
| testOldNestedPacts | |
| throws error when multiple defpact executions occur in same transaction | |
| testManagedCaps | |
| exercises managed PAY cap | |
| testElideModRefEvents | |
| elides modref infos | |
| doesn't elide on backcompat | |
| testNestedPactContinuation | |
| sends (+ 1 2) command to locally running dev server | |
| when provided with correct next step | |
| executes the next step and updates nested pact's state FAILED [28] | |
| when provided with incorrect next step | |
| throws error and does not update nested pact's state FAILED [29] | |
| when last step of a pact executed | |
| deletes pact from the state FAILED [30] | |
| when error occurs when executing pact step | |
| throws error and does not update pact's state FAILED [31] | |
| testNestedPactYield | |
| when previous step yields value | |
| resumes value FAILED [32] | |
| when previous step does not yield value | |
| throws error when trying to resume, and does not delete pact from state FAILED [33] | |
| resets yielded values after each step FAILED [34] | |
| testCrossChainYield:succeeds with same module FAILED [35] | |
| PersistSpec | |
| regress Pure | |
| regress SQLite | |
| SQLite successfully closes | |
| RemoteVerifySpec | |
| single module | |
| loads locally | |
| verifies over the network | |
| multiple modules, sent out of order | |
| loads when topologically sorted locally | |
| verifies over the network | |
| TypecheckSpec | |
| tests/pact/caps.repl: caps typechecks | |
| caps: module has no failures | |
| caps: all toplevels typecheck | |
| examples/cp/cp.repl: cp typechecks | |
| cp: module has no failures | |
| cp: all toplevels typecheck | |
| tests/pact/yield.repl: yieldtest typechecks | |
| yieldtest: module has no failures | |
| yieldtest: all toplevels typecheck | |
| accounts.transfer typechecks | |
| accounts.transfer has no failures | |
| pact typecheck | |
| tests/pact/tc.repl.tc-format-heterogenous typechecks | |
| tests/pact/tc.repl.tc-format-heterogenous has no failures | |
| tests/pact/tc.repl.tc-twoStrings typechecks | |
| tests/pact/tc.repl.tc-twoStrings has no failures | |
| tests/pact/tc.repl.tc-partials typechecks | |
| tests/pact/tc.repl.tc-partials has no failures | |
| tests/pact/tc.repl.tc-at-typed-object typechecks | |
| tests/pact/tc.repl.tc-at-typed-object has no failures | |
| tests/pact/tc.repl.tc-str-to-list-concat-map typechecks | |
| tests/pact/tc.repl.tc-str-to-list-concat-map has no failures | |
| tests/pact/tc.repl.tc-sort1 typechecks | |
| tests/pact/tc.repl.tc-sort1 has no failures | |
| tests/pact/tc.repl.tc-select1 typechecks | |
| tests/pact/tc.repl.tc-select1 has no failures | |
| tests/pact/tc.repl.tc-update-partial typechecks | |
| tests/pact/tc.repl.tc-update-partial has no failures | |
| "tests/pact/tc.repl.tc-update-partial":specializes partial type | |
| tests/pact/tc.repl.fails-tc-call-modref typechecks | |
| tests/pact/tc.repl.fails-tc-call-modref should fail | |
| tests/pact/tc.repl.tc-unconsumed-app-typevar typechecks | |
| tests/pact/tc.repl.tc-unconsumed-app-typevar has no failures | |
| tests/pact/tc.repl.tc-add-person typechecks | |
| tests/pact/tc.repl.tc-add-person has no failures | |
| tests/pact/tc.repl.fails-list-literal-type typechecks | |
| tests/pact/tc.repl.fails-list-literal-type should fail | |
| tests/pact/tc.repl.tc-bind-obj typechecks | |
| tests/pact/tc.repl.tc-bind-obj has no failures | |
| tests/pact/tc.repl.tc-filter-map typechecks | |
| tests/pact/tc.repl.tc-filter-map has no failures | |
| tests/pact/tc.repl.fails-write-partial typechecks | |
| tests/pact/tc.repl.fails-write-partial should fail | |
| tests/pact/tc.repl.tc-obj-eq typechecks | |
| tests/pact/tc.repl.tc-obj-eq has no failures | |
| tests/pact/tc.repl.tc-call-modref typechecks | |
| tests/pact/tc.repl.tc-call-modref has no failures | |
| tests/pact/tc.repl.fails-return-type typechecks | |
| tests/pact/tc.repl.fails-return-type should fail | |
| tests/pact/tc.repl.tc-at-literal-typed-list-literal typechecks | |
| tests/pact/tc.repl.tc-at-literal-typed-list-literal has no failures | |
| tests/pact/tc.repl.tc-at-typed-list typechecks | |
| tests/pact/tc.repl.tc-at-typed-list has no failures | |
| tests/pact/tc.repl.tc-map1 typechecks | |
| tests/pact/tc.repl.tc-map1 has no failures | |
| tests/pact/tc.repl.tc-chain-data-2 typechecks | |
| tests/pact/tc.repl.tc-chain-data-2 has no failures | |
| tests/pact/tc.repl.tc-eq-modref typechecks | |
| tests/pact/tc.repl.tc-eq-modref has no failures | |
| tests/pact/tc.repl.tc-call-modref2 typechecks | |
| tests/pact/tc.repl.tc-call-modref2 has no failures | |
| tests/pact/tc.repl.tc-adults typechecks | |
| tests/pact/tc.repl.tc-adults has no failures | |
| tests/pact/tc.repl.fails-guard-list typechecks | |
| tests/pact/tc.repl.fails-guard-list should Command verification failed! | |
| Invalid command: Number of sig(s) does not match number of signer(s) | |
| fail | |
| tests/pact/tc.repl.tc-guard-list typechecks | |
| tests/pact/tc.repl.tc-guard-list has no failures | |
| tests/pact/tc.repl.tc-cmp-modref-call typechecks | |
| tests/pact/tc.repl.tc-cmp-modref-call has no failures | |
| tests/pact/tc.repl.fails-literal-typed-list typechecks | |
| tests/pact/tc.repl.fails-literal-typed-list should fail | |
| tests/pact/tc.repl.tc-fold1 typechecks | |
| tests/pact/tc.repl.tc-fold1 has no failures | |
| tests/pact/tc.repl.tc-modref typechecks | |
| tests/pact/tc.repl.tc-modref has no failures | |
| tests/pact/tc.repl.tc-at-literal-typed-list-arg typechecks | |
| tests/pact/tc.repl.tc-at-literal-typed-list-arg has no failures | |
| tests/pact/tc.repl.fails-native-partial-saturation typechecks | |
| tests/pact/tc.repl.fails-native-partial-saturation should fail | |
| tests/pact/tc.repl.tc-list-assumes-literal-type typechecks | |
| tests/pact/tc.repl.tc-list-assumes-literal-type has no failures | |
| tests/pact/tc.repl.tc-will-overload-conflict typechecks | |
| tests/pact/tc.repl.tc-will-overload-conflict has no failures | |
| tests/pact/tc.repl.tc-modref2 typechecks | |
| tests/pact/tc.repl.tc-modref2 has no failures | |
| tests/pact/tc.repl.tc-update-age typechecks | |
| tests/pact/tc.repl.tc-update-age has no failures | |
| tests/pact/tc.repl.fails-tc-modref typechecks | |
| tests/pact/tc.repl.fails-tc-modref should fail | |
| tests/pact/tc.repl.tc-test-inner typechecks | |
| tests/pact/tc.repl.tc-test-inner has no failures | |
| tests/pact/tc.repl.fails-update typechecks | |
| tests/pact/tc.repl.fails-update should fail | |
| tests/pact/tc.repl.tc-fold2 typechecks | |
| tests/pact/tc.repl.tc-fold2 has no failures | |
| tests/pact/tc.repl.tc-chain-data typechecks | |
| tests/pact/tc.repl.tc-chain-data has no failures | |
| tests/pact/tc.repl.tc-sort2 typechecks | |
| tests/pact/tc.repl.tc-sort2 has no failures | |
| tests/pact/tc.repl.tc-select2 typechecks | |
| tests/pact/tc.repl.tc-select2 has no failures | |
| tests/pact/tc.repl.tc-yield-resume-1 typechecks | |
| tests/pact/tc.repl.tc-yield-resume-1 has no failures | |
| examples/cp/cp.repl: cp verifies | |
| examples/verified-accounts/accounts.repl: accounts verifies | |
| PactCLISpec | |
| partial sigs | |
| validates and combines two partial sigs | |
| validates when command portion is missing as well: | |
| does not validate on missing signatures | |
| Failures: | |
| tests/Test/Pact/Utils/LegacyValue.hs:140:22: | |
| 1) Test.Pact.Utils.LegacyValue, JSON encoding backward compatibility, Pact.Types.RPC, PactRPC (), encoding is compatible with toLegacyJson encoding | |
| uncaught exception: ErrorCall | |
| Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = String "JSON VALUE"} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue | |
| (after 1 test) | |
| Exec (ExecMsg {_pmCode = (), _pmData = LegacyValue {_getLegacyValue = String "JSON VALUE"}}) | |
| Exception thrown while showing test case: | |
| Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = String "JSON VALUE"} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue | |
| To rerun use: --match "/Test.Pact.Utils.LegacyValue/JSON encoding backward compatibility/Pact.Types.RPC/PactRPC ()/encoding is compatible with toLegacyJson encoding/" | |
| tests/Test/Pact/Utils/LegacyValue.hs:140:22: | |
| 2) Test.Pact.Utils.LegacyValue, JSON encoding backward compatibility, Pact.Types.RPC, ExecMsg (), encoding is compatible with toLegacyJson encoding | |
| uncaught exception: ErrorCall | |
| Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = String "JSON VALUE"} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue | |
| (after 1 test) | |
| ExecMsg {_pmCode = (), _pmData = LegacyValue {_getLegacyValue = String "JSON VALUE"}} | |
| Exception thrown while showing test case: | |
| Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = String "JSON VALUE"} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue | |
| To rerun use: --match "/Test.Pact.Utils.LegacyValue/JSON encoding backward compatibility/Pact.Types.RPC/ExecMsg ()/encoding is compatible with toLegacyJson encoding/" | |
| tests/Test/Pact/Utils/LegacyValue.hs:140:22: | |
| 3) Test.Pact.Utils.LegacyValue, JSON encoding backward compatibility, Pact.Types.RPC, ContMsg, encoding is compatible with toLegacyJson encoding | |
| uncaught exception: ErrorCall | |
| Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = String "JSON VALUE"} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue | |
| (after 1 test) | |
| ContMsg {_cmPactId = PactId "A_n8ulC9CM0VUW-lp6Av7ODHC8GVrJmvxEN60TMRc1E", _cmStep = 0, _cmRollback = False, _cmData = LegacyValue {_getLegacyValue = String "JSON VALUE"}, _cmProof = Just (ContProof {_contProof = ""})} | |
| Exception thrown while showing test case: | |
| Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = String "JSON VALUE"} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue | |
| To rerun use: --match "/Test.Pact.Utils.LegacyValue/JSON encoding backward compatibility/Pact.Types.RPC/ContMsg/encoding is compatible with toLegacyJson encoding/" | |
| tests/Test/Pact/Utils/LegacyValue.hs:140:22: | |
| 4) Test.Pact.Utils.LegacyValue, JSON encoding backward compatibility, Pact.Types.Command, Payload () (), encoding is compatible with toLegacyJson encoding | |
| uncaught exception: ErrorCall | |
| Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = String "JSON VALUE"} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue | |
| (after 1 test) | |
| Payload {_pPayload = Continuation (ContMsg {_cmPactId = PactId "VYMsd2pjfmAHju_xO9afQYjbQ9oKOvPnNahknUZ9Mwk", _cmStep = 0, _cmRollback = True, _cmData = LegacyValue {_getLegacyValue = String "JSON VALUE"}, _cmProof = Just (ContProof {_contProof = ""})}), _pNonce = "", _pMeta = (), _pSigners = [], _pNetworkId = Just "r"} | |
| Exception thrown while showing test case: | |
| Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = String "JSON VALUE"} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue | |
| To rerun use: --match "/Test.Pact.Utils.LegacyValue/JSON encoding backward compatibility/Pact.Types.Command/Payload () ()/encoding is compatible with toLegacyJson encoding/" | |
| tests/GoldenSpec.hs:144:5: | |
| 5) GoldenSpec.goldenAccounts.failureCR matches golden encoded | |
| expected: "{\"gas\":0,\"result\":{\"status\":\"failure\",\"error\":{\"callStack\":[\"golden/golden.accounts.repl:45:4: (with-read (deftable accounts:(defschema account \\\"Row type fo... \\\"a\\\" ({g:<c> \\\"rowguard\\\"} [(native `enforce-guard` Exec...)\",\"golden/golden.accounts.repl:151:21: (USER_GUARD \\\"a\\\")\",\"golden/golden.accounts.repl:151:4: (with-capability ((defcap accounts.USER_GUARD:<a> (id:<b>)) \\\"a\\\") [(native `with-read` Special form to read row fro...)\",\"golden/golden.accounts.repl:85:6: (debit \\\"a\\\" 1.0 true {\\\"transfer-to\\\": \\\"b\\\"})\",\"golden/golden.accounts.repl:84:4: (with-capability ((defcap accounts.TRANSFER:<d> ())) [((defun accounts.debit:<as> (acct:<at> amount:<au...)\",\"<interactive>:0:0: (transfer \\\"a\\\" \\\"b\\\" 1.0 true)\"],\"type\":\"TxFailure\",\"message\":\"with-read: row not found: a\",\"info\":\"golden/golden.accounts.repl:45:4\"}},\"reqKey\":\"DldRwCblQ7Loqy6wYJnaodHl30d3j3eH-qtFzfEv46g\",\"logs\":null,\"metaData\":null,\"continuation\":null,\"txId\":null}" | |
| but got: "{\"gas\":0,\"result\":{\"status\":\"failure\",\"error\":{\"callStack\":[\"golden/golden.accounts.repl:45:4: (with-read (deftable accounts:(defschema account \\\"Row type fo... \\\"a\\\" ({g:<c> \\\"rowguard\\\"} [(native `enforce-guard` Exec...)\",\"golden/golden.accounts.repl:151:21: (USER_GUARD \\\"a\\\")\",\"golden/golden.accounts.repl:151:4: (with-capability ((defcap accounts.USER_GUARD:<a> (id:<b>)) \\\"a\\\") [(native `with-read` Special\\nform\\nto\\nread\\nrow\\nfro...)\",\"golden/golden.accounts.repl:85:6: (debit \\\"a\\\" 1.0 true {\\\"transfer-to\\\": \\\"b\\\"})\",\"golden/golden.accounts.repl:84:4: (with-capability ((defcap accounts.TRANSFER:<d> ())) [((defun accounts.debit:<as> (acct:<at> amount:<au...)\",\"<interactive>:0:0: (transfer \\\"a\\\" \\\"b\\\" 1.0 true)\"],\"type\":\"TxFailure\",\"message\":\"with-read: row not found: a\",\"info\":\"golden/golden.accounts.repl:45:4\"}},\"reqKey\":\"DldRwCblQ7Loqy6wYJnaodHl30d3j3eH-qtFzfEv46g\",\"logs\":null,\"metaData\":null,\"continuation\":null,\"txId\":null}" | |
| To rerun use: --match "/GoldenSpec/goldenAccounts/failureCR/matches golden encoded/" | |
| tests/PactContinuationSpec.hs:230:5: | |
| 6) PactContinuationSpec, pacts in dev server, testPactContinuation, when provided with correct next step, executes the next step and updates pact's state | |
| Expected Right (Just (PLiteral (LString {_lString = "step 1"}),[])), found CommandResult {_crReqKey = "zOKIHPlkwY_N60uHe9f71MVtLFzN6Vvr2_xSSvms9Ss", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactContinuation/when provided with correct next step/executes the next step and updates pact's state/" | |
| tests/PactContinuationSpec.hs:320:5: | |
| 7) PactContinuationSpec, pacts in dev server, testPactContinuation, when provided with incorrect next step, throws error and does not update pact's state | |
| Expected "resumePactExec: exec step mismatch with context: (2, 0)", found "Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null}\nCallStack (from HasCallStack):\n error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue" | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactContinuation/when provided with incorrect next step/throws error and does not update pact's state/" | |
| tests/PactContinuationSpec.hs:342:5: | |
| 8) PactContinuationSpec, pacts in dev server, testPactContinuation, when last step of a pact executed, deletes pact from the state | |
| Expected Right (Just (PLiteral (LString {_lString = "step 1"}),[])), found CommandResult {_crReqKey = "tk0pSMCGrUXyv_zV02jvmdV4msMkh_MsSBJZjDY7EiY", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactContinuation/when last step of a pact executed/deletes pact from the state/" | |
| tests/PactContinuationSpec.hs:366:5: | |
| 9) PactContinuationSpec, pacts in dev server, testPactContinuation, when error occurs when executing pact step, throws error and does not update pact's state | |
| Expected "resumePactExec: exec step mismatch with context: (2, 0)", found "Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null}\nCallStack (from HasCallStack):\n error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue" | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactContinuation/when error occurs when executing pact step/throws error and does not update pact's state/" | |
| tests/PactContinuationSpec.hs:453:5: | |
| 10) PactContinuationSpec, pacts in dev server, testPactRollback, when provided with correct rollback step, executes the rollback function and deletes pact from state | |
| Expected Right (Just (PLiteral (LString {_lString = "step 1"}),[])), found CommandResult {_crReqKey = "CEEXk8AEyarKCnugR5yiI4_YNIRMhoOZBgKXTGhSfog", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactRollback/when provided with correct rollback step/executes the rollback function and deletes pact from state/" | |
| tests/PactContinuationSpec.hs:492:5: | |
| 11) PactContinuationSpec, pacts in dev server, testPactRollback, when provided with incorrect rollback step, throws error and does not delete pact from state | |
| Expected Right (Just (PLiteral (LString {_lString = "step 1"}),[])), found CommandResult {_crReqKey = "85pQXfSFsgwcEoZhxsmn3DbS2b_ZG-hS4azeDASrXM4", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactRollback/when provided with incorrect rollback step/throws error and does not delete pact from state/" | |
| tests/PactContinuationSpec.hs:517:5: | |
| 12) PactContinuationSpec, pacts in dev server, testPactRollback, when error occurs when executing rollback function, throws error and does not delete pact from state | |
| Expected Right (Just (PLiteral (LString {_lString = "step 1"}),[])), found CommandResult {_crReqKey = "kEOpoe9UpwTFnuN5IsORyENydNngJdoZzvXsBT0vZko", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactRollback/when error occurs when executing rollback function/throws error and does not delete pact from state/" | |
| tests/PactContinuationSpec.hs:554:5: | |
| 13) PactContinuationSpec, pacts in dev server, testPactRollback, when trying to rollback a step without a rollback function, outputs a rollback failure and doesn't change the pact's state | |
| Expected Right (Just (PLiteral (LString {_lString = "step 1"}),[])), found CommandResult {_crReqKey = "Oyiam0eaavRdhj_Bv_iF1tPvvoDgcWfjlQfGTunptiQ", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactRollback/when trying to rollback a step without a rollback function/outputs a rollback failure and doesn't change the pact's state/" | |
| tests/PactContinuationSpec.hs:711:5: | |
| 14) PactContinuationSpec, pacts in dev server, testPactYield, when previous step yields value, resumes value | |
| Expected Right (Just (PLiteral (LString {_lString = "testing->Step0->Step1"}),[])), found CommandResult {_crReqKey = "feikDsKKSpVzwAfRm2-LKz336dll3QvUax6D8AOV97Q", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactYield/when previous step yields value/resumes value/" | |
| tests/PactContinuationSpec.hs:794:5: | |
| 15) PactContinuationSpec, pacts in dev server, testPactYield, when previous step does not yield value, throws error when trying to resume, and does not delete pact from state | |
| Expected Right (Just (PLiteral (LString {_lString = "step 1 has no yield"}),[])), found CommandResult {_crReqKey = "qr-oTafO-LzJ6L-zxbCYaWlx07-XD75bIE5CEpea6Jg", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactYield/when previous step does not yield value/throws error when trying to resume, and does not delete pact from state/" | |
| tests/PactContinuationSpec.hs:865:5: | |
| 16) PactContinuationSpec, pacts in dev server, testPactYield, resets yielded values after each step | |
| Expected Right (Just (PLiteral (LString {_lString = "step 1"}),[])), found CommandResult {_crReqKey = "0V8o7NzJ_i7NA9r7FbzaH8HBnMfSU_xlPpaQWJATJps", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactYield/resets yielded values after each step/" | |
| tests/PactContinuationSpec.hs:1007:11: | |
| 17) PactContinuationSpec, pacts in dev server, testPactYield, testCrossChainYield:succeeds with same module | |
| Expected Right (Just (PLiteral (LString {_lString = "emily->A->B"}),[PactEvent {_eventName = "X_RESUME", _eventParams = [PLiteral (LString {_lString = ""}),PLiteral (LString {_lString = "cross-chain-tester.cross-chain"}),PList [PLiteral (LString {_lString = "emily"})]], _eventModule = ModuleName {_mnName = "pact", _mnNamespace = Nothing}, _eventModuleHash = ModuleHash {_mhHash = "_9xPxvYomOU0iEqXpcrChvoA-E9qoaE1TqU460xN1xc"}}])), found CommandResult {_crReqKey = "oU3squKCBX2pkINVRfxUEQXOrzHxT2KsbwQIamlek6w", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactYield/testCrossChainYield:succeeds with same module/" | |
| tests/PactContinuationSpec.hs:1007:11: | |
| 18) PactContinuationSpec, pacts in dev server, testPactYield, testCrossChainYield:succeeds with back compat | |
| Expected Right (Just (PLiteral (LString {_lString = "emily->A->B"}),[])), found CommandResult {_crReqKey = "VfZEQeadxkMyzeffMlsAhmaFVjDpGkkWn2Sl2gAbX8A", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactYield/testCrossChainYield:succeeds with back compat/" | |
| tests/PactContinuationSpec.hs:1019:11: | |
| 19) PactContinuationSpec, pacts in dev server, testPactYield, testCrossChainYield:fails with different module | |
| Expected "enforceYield: yield provenance", found "Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null}\nCallStack (from HasCallStack):\n error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue" | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactYield/testCrossChainYield:fails with different module/" | |
| tests/PactContinuationSpec.hs:1007:11: | |
| 20) PactContinuationSpec, pacts in dev server, testPactYield, testCrossChainYield:succeeds with blessed module | |
| Expected Right (Just (PLiteral (LString {_lString = "emily->A->B"}),[PactEvent {_eventName = "X_RESUME", _eventParams = [PLiteral (LString {_lString = ""}),PLiteral (LString {_lString = "cross-chain-tester.cross-chain"}),PList [PLiteral (LString {_lString = "emily"})]], _eventModule = ModuleName {_mnName = "pact", _mnNamespace = Nothing}, _eventModuleHash = ModuleHash {_mhHash = "_9xPxvYomOU0iEqXpcrChvoA-E9qoaE1TqU460xN1xc"}}])), found CommandResult {_crReqKey = "bdHkG96eAnalQpnSLJUgqnnn8YHKmzmQ1tyhWbjvulU", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testPactYield/testCrossChainYield:succeeds with blessed module/" | |
| tests/PactContinuationSpec.hs:1172:5: | |
| 21) PactContinuationSpec, pacts in dev server, testTwoPartyEscrow, when debtor tries to cancel pre-timeout, throws error and money still escrowed | |
| Expected "Cancel can only be effected by creditor, or debitor after timeout", found "Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null}\nCallStack (from HasCallStack):\n error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue" | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testTwoPartyEscrow/when debtor tries to cancel pre-timeout/throws error and money still escrowed/" | |
| tests/PactContinuationSpec.hs:1187:5: | |
| 22) PactContinuationSpec, pacts in dev server, testTwoPartyEscrow, when debtor tries to cancel after timeout, cancels escrow and deposits escrowed amount back to debtor | |
| Expected Right Nothing, found CommandResult {_crReqKey = "c22vMNZ82QXunXIe1gUFJK93D-KTbVdNmZHWhcvJXx0", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testTwoPartyEscrow/when debtor tries to cancel after timeout/cancels escrow and deposits escrowed amount back to debtor/" | |
| tests/PactContinuationSpec.hs:1202:5: | |
| 23) PactContinuationSpec, pacts in dev server, testTwoPartyEscrow, cancels escrow immediately if creditor cancels | |
| Expected Right Nothing, found CommandResult {_crReqKey = "UO2NR1yB8jFxWkVuOEku_CJ4oPA2g3gq7l35CxW5eLU", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testTwoPartyEscrow/cancels escrow immediately if creditor cancels/" | |
| tests/PactContinuationSpec.hs:1216:5: | |
| 24) PactContinuationSpec, pacts in dev server, testTwoPartyEscrow, throws error when creditor or debtor try to finish alone | |
| Expected "Keyset failure (keys-all): [7d0c9ba1...]", found "Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null}\nCallStack (from HasCallStack):\n error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue" | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testTwoPartyEscrow/throws error when creditor or debtor try to finish alone/" | |
| tests/PactContinuationSpec.hs:1228:5: | |
| 25) PactContinuationSpec, pacts in dev server, testTwoPartyEscrow, throws error when final price negotiated up | |
| Expected "Price cannot negotiate up", found "Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Object (fromList [(\"final-price\",Number 12.0)])}\nCallStack (from HasCallStack):\n error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue" | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testTwoPartyEscrow/throws error when final price negotiated up/" | |
| tests/PactContinuationSpec.hs:1241:5: | |
| 26) PactContinuationSpec, pacts in dev server, testTwoPartyEscrow, when both debtor and creditor finish together, finishes escrow if final price stays the same or negotiated down | |
| Expected Right (Just (PLiteral (LString {_lString = "Escrow completed with 1.75 paid and 0.25 refunded"}),[])), found CommandResult {_crReqKey = "GOaQBX8e0IbUdxQkKOpMAAcItFVF7BYRD_BPIjxFUqc", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Object (fromList [("final-price",Number 1.75)])} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testTwoPartyEscrow/when both debtor and creditor finish together/finishes escrow if final price stays the same or negotiated down/" | |
| tests/PactContinuationSpec.hs:1252:5: | |
| 27) PactContinuationSpec, pacts in dev server, testTwoPartyEscrow, when both debtor and creditor finish together, with valid price, still fails if bad cap is on a signature | |
| Expected "Keyset failure (keys-all): [7d0c9ba1...]", found "Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Object (fromList [(\"final-price\",Number 1.75)])}\nCallStack (from HasCallStack):\n error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue" | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testTwoPartyEscrow/when both debtor and creditor finish together/with valid price, still fails if bad cap is on a signature/" | |
| tests/PactContinuationSpec.hs:230:5: | |
| 28) PactContinuationSpec, pacts in dev server, testNestedPactContinuation, when provided with correct next step, executes the next step and updates nested pact's state | |
| Expected Right (Just (PLiteral (LString {_lString = "step 1"}),[])), found CommandResult {_crReqKey = "1zP7OyY44U4gdbbshCx5xHQEdRcnyKRmeaWqmYaaYRM", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testNestedPactContinuation/when provided with correct next step/executes the next step and updates nested pact's state/" | |
| tests/PactContinuationSpec.hs:320:5: | |
| 29) PactContinuationSpec, pacts in dev server, testNestedPactContinuation, when provided with incorrect next step, throws error and does not update nested pact's state | |
| Expected "resumePactExec: exec step mismatch with context: (2, 0)", found "Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null}\nCallStack (from HasCallStack):\n error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue" | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testNestedPactContinuation/when provided with incorrect next step/throws error and does not update nested pact's state/" | |
| tests/PactContinuationSpec.hs:342:5: | |
| 30) PactContinuationSpec, pacts in dev server, testNestedPactContinuation, when last step of a pact executed, deletes pact from the state | |
| Expected Right (Just (PLiteral (LString {_lString = "step 1"}),[])), found CommandResult {_crReqKey = "DCer8LO_ApEDQ-Qh5dWDln7tGNegcsf0gKN40DZXsaE", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testNestedPactContinuation/when last step of a pact executed/deletes pact from the state/" | |
| tests/PactContinuationSpec.hs:366:5: | |
| 31) PactContinuationSpec, pacts in dev server, testNestedPactContinuation, when error occurs when executing pact step, throws error and does not update pact's state | |
| Expected "resumePactExec: exec step mismatch with context: (2, 0)", found "Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null}\nCallStack (from HasCallStack):\n error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue" | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testNestedPactContinuation/when error occurs when executing pact step/throws error and does not update pact's state/" | |
| tests/PactContinuationSpec.hs:711:5: | |
| 32) PactContinuationSpec, pacts in dev server, testNestedPactYield, when previous step yields value, resumes value | |
| Expected Right (Just (PLiteral (LString {_lString = "testing->Step0->Step1"}),[])), found CommandResult {_crReqKey = "7szA3xPqjJ-M3VD_uU13nYsrn9QYfb5vV7Xq9y_iIYE", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testNestedPactYield/when previous step yields value/resumes value/" | |
| tests/PactContinuationSpec.hs:794:5: | |
| 33) PactContinuationSpec, pacts in dev server, testNestedPactYield, when previous step does not yield value, throws error when trying to resume, and does not delete pact from state | |
| Expected Right (Just (PLiteral (LString {_lString = "step 1 has no yield"}),[])), found CommandResult {_crReqKey = "o-lOV2dPukKtzpUKfMHK-hx1m6PfQJuVFC_Zz8va9T4", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testNestedPactYield/when previous step does not yield value/throws error when trying to resume, and does not delete pact from state/" | |
| tests/PactContinuationSpec.hs:865:5: | |
| 34) PactContinuationSpec, pacts in dev server, testNestedPactYield, resets yielded values after each step | |
| Expected Right (Just (PLiteral (LString {_lString = "step 1"}),[])), found CommandResult {_crReqKey = "_hAt1IesgsEZEJbbtqBHGDdiidMgq9Ow6J6tb-dO_7A", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testNestedPactYield/resets yielded values after each step/" | |
| tests/PactContinuationSpec.hs:680:9: | |
| 35) PactContinuationSpec, pacts in dev server, testNestedPactYield, testCrossChainYield:succeeds with same module | |
| Expected Right (Just (PLiteral (LString {_lString = "jose->A->B"}),[PactEvent {_eventName = "X_RESUME", _eventParams = [PLiteral (LString {_lString = ""}),PLiteral (LString {_lString = "cross-chain-tester.cross-chain"}),PList [PLiteral (LString {_lString = "jose"})]], _eventModule = ModuleName {_mnName = "pact", _mnNamespace = Nothing}, _eventModuleHash = ModuleHash {_mhHash = "mGbCL-I0xXho_dxYfYAVmHfSfj3o43gbJ3ZgLHpaq14"}}])), found CommandResult {_crReqKey = "g0dwIxfivpint0tD3LbEYRlhCnkWLgKEUwX_Dw-DJp0", _crTxId = Nothing, _crResult = PactResult {_pactResult = Left : Failure: Pact.Utils.Json.LegacyValue: attempt to call toJSON on LegacyValue {_getLegacyValue = Null} | |
| CallStack (from HasCallStack): | |
| error, called at src/Pact/Utils/LegacyValue.hs:125:29 in pact-4.4-inplace:Pact.Utils.LegacyValue}, _crGas = 0, _crLogs = Nothing, _crContinuation = Nothing, _crMetaData = Nothing, _crEvents = []} | |
| To rerun use: --match "/PactContinuationSpec/pacts in dev server/testNestedPactYield/testCrossChainYield:succeeds with same module/" | |
| Randomized with seed 1217767222 | |
| Finished in 185.5292 seconds | |
| 1334 examples, 35 failures, 153 pending | |
| Test suite hspec: FAIL | |
| Test suite logged to: | |
| /Users/johnw/kadena/work/aeson/pact/dist-newstyle/build/x86_64-osx/ghc-8.10.7/pact-4.4/t/hspec/test/pact-4.4-hspec.log | |
| 0 of 1 test suites (0 of 1 test cases) passed. | |
| cabal: Tests failed for test:hspec from pact-4.4. | |
| Vulcan ~/kadena/work/aeson/pact $ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment