Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cardano Constitution: property test failures #6807

Open
Unisay opened this issue Jan 29, 2025 · 0 comments
Open

Cardano Constitution: property test failures #6807

Unisay opened this issue Jan 29, 2025 · 0 comments

Comments

@Unisay
Copy link
Contributor

Unisay commented Jan 29, 2025

State: clean master branch.
Expected: cardano-constitution test-suite passes.
Actual: one test fails.

cabal test cardano-constitution --test-options "-p /hsValidatorsAgreeAll/" 
Configuration is affected by the following files:
- cabal.project
- cabal.project.local
Build profile: -w ghc-9.6.6 -O1
In order, the following will be built (use -v for more details):
 - cardano-constitution-1.34.0.0 (test:cardano-constitution-test) (ephemeral targets)
Preprocessing test suite 'cardano-constitution-test' for cardano-constitution-1.34.0.0...
Building test suite 'cardano-constitution-test' for cardano-constitution-1.34.0.0...
Running 1 test suites...
Test suite cardano-constitution-test: RUNNING...
Testing Campaign
  Property
    hsValidatorsAgreeAll: FAIL
      *** Failed! Falsified (after 11 tests):
      ScriptContext {scriptContextTxInfo = TxInfo {txInfoInputs = [], txInfoReferenceInputs = [], txInfoOutputs = [], txInfoFee = 0, txInfoMint = UnsafeMintValue (Map {unMap = []}), txInfoTxCerts = [], txInfoWdrl = Map {unMap = []}, txInfoValidRange = Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}, txInfoSignatories = [], txInfoRedeemers = Map {unMap = []}, txInfoData = Map {unMap = []}, txInfoId = , txInfoVotes = Map {unMap = []}, txInfoProposalProcedures = [], txInfoCurrentTreasuryAmount = Nothing, txInfoTreasuryDonation = Nothing}, scriptContextRedeemer = Redeemer {getRedeemer = Map [(B "2\240\166\139\136k7,",B "DIG7HOXl[\231\178\191"),(B "IL7\229\184\133t\240\169\183\191;&",Constr 4 [])]}, scriptContextScriptInfo = ProposingScript 0 (ProposalProcedure {ppDeposit = 0, ppReturnAddr = PubKeyCredential , ppGovernanceAction = ParameterChange Nothing (ChangedParameters {getChangedParameters = Map [(I 0,I 8),(I 1,List [I (-3),I 4]),(I 4,I (-9)),(I 5,List [I 3,I 2]),(I 9,List [I 3,List [I (-1),I 8],List [I 4,I 3],List [I 1,I 2],List [I (-3),I 2],I (-2)])]}) Nothing})}
      Left not an I
      CallStack (from HasCallStack):
        error, called at src/PlutusTx/Builtins/Internal.hs:540:41 in plutus-tx-1.39.0.0-inplace:PlutusTx.Builtins.Internal /= Left PlutusTx.Builtins.Internal.error
      CallStack (from HasCallStack):
        error, called at src/PlutusTx/Builtins/Internal.hs:96:9 in plutus-tx-1.39.0.0-inplace:PlutusTx.Builtins.Internal
      Use --quickcheck-replay="(SMGen 8087273129269764986 7128198103686754689,10)" to reproduce.
      Use -p '/hsValidatorsAgreeAll/&&$0=="Testing Campaign.Property.hsValidatorsAgreeAll"' to rerun this test only.
  Property
    hsValidatorsAgreeAll: FAIL
      *** Failed! Falsified (after 49 tests):
      ScriptContext {scriptContextTxInfo = TxInfo {txInfoInputs = [], txInfoReferenceInputs = [], txInfoOutputs = [], txInfoFee = 0, txInfoMint = UnsafeMintValue (Map {unMap = []}), txInfoTxCerts = [], txInfoWdrl = Map {unMap = []}, txInfoValidRange = Interval {ivFrom = LowerBound NegInf True, ivTo = UpperBound PosInf True}, txInfoSignatories = [], txInfoRedeemers = Map {unMap = []}, txInfoData = Map {unMap = []}, txInfoId = , txInfoVotes = Map {unMap = []}, txInfoProposalProcedures = [], txInfoCurrentTreasuryAmount = Nothing, txInfoTreasuryDonation = Nothing}, scriptContextRedeemer = Redeemer {getRedeemer = Constr 1 [Map [(B "SFts0cwC$.wxh\240\166\141\168.~P\234\132\165`{3df\220\136SSTn\240\145\170\144u5auM?n\240\174\175\178\240\151\184\180pb",Constr 0 []),(B "D9\240\162\172\166/",Constr 2 []),(B "c\\l\228\151\190d\"i*#St\227\147\151K$7fc[m*(h!\240\162\142\184=`\240\147\133\177:IIf}\\ql#Y0I\230\128\150\240\171\186\149,-'sH3\240\165\189\131",List [])],Map [(B "flP*`\240\160\153\184\240\176\132\185\235\188\158EtS\230\162\163\&0}d",B "jC")],Map []]}, scriptContextScriptInfo = ProposingScript 0 (ProposalProcedure {ppDeposit = 0, ppReturnAddr = PubKeyCredential , ppGovernanceAction = ParameterChange Nothing (ChangedParameters {getChangedParameters = Map [(I 9,List [I 10,I 7]),(I 18,I 27),(I 27,List [I 15,I 8]),(I 45,I (-46))]}) Nothing})}
      Left not an I
      CallStack (from HasCallStack):
        error, called at src/PlutusTx/Builtins/Internal.hs:540:41 in plutus-tx-1.39.0.0-inplace:PlutusTx.Builtins.Internal /= Left PlutusTx.Builtins.Internal.error
      CallStack (from HasCallStack):
        error, called at src/PlutusTx/Builtins/Internal.hs:96:9 in plutus-tx-1.39.0.0-inplace:PlutusTx.Builtins.Internal
      Use --quickcheck-replay="(SMGen 6951118383510541881 7778111397025731591,48)" to reproduce.
      Use -p '/hsValidatorsAgreeAll/&&$0=="Testing Campaign.Property.hsValidatorsAgreeAll"' to rerun this test only.

2 out of 2 tests failed (0.01s)
@github-actions github-actions bot added the status: needs triage GH issues that requires triage label Jan 29, 2025
@Unisay Unisay changed the title Cardano Constitution: property test faiure. Cardano Constitution: property test faiures Jan 29, 2025
@Unisay Unisay changed the title Cardano Constitution: property test faiures Cardano Constitution: property test failures Jan 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants