search

kadena-io / pact

The Pact Smart Contract Language
https://docs.kadena.io/build/pact
BSD 3-Clause "New" or "Revised" License
579 stars 98 forks source link

Verify | OutputFailure: Analysis doesn't support this construct yet #1114

Open Stelfinity opened 1 year ago

Stelfinity commented 1 year ago

ERROR: "Verification of test.system failed" system.pact:25:0:OutputFailure: Analysis doesn't support this construct yet: Table test.system.coupon-ledger-table2::table:{test.system.coupon-ledger-schema}

Tables

(defschema collection-schema description:string )

(defschema nft-schema collection:string id:integer account:string guard:keyset )

(deftable collection-table:{collection-schema}) (deftable nft-table:{nft-schema})

Note: z3 solver was not installed. After installing, same error. Now I have z3 solver veriosn 4.8.12

Stelfinity commented 1 year ago

This function produces error

(defun get-nft-by-account(account:string) (select nft-table ['collection, 'id] (where 'account (= account)) ) )

rsoeldner commented 1 year ago

This should be fixed by #1090