search

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
BSD 3-Clause "New" or "Revised" License
132 stars 60 forks source link

Map test #655

Closed ranjitjhala closed 11 months ago

ranjitjhala commented 11 months ago

Adding ports of the tests for Str and Map to the horn format.

ranjitjhala commented 11 months ago

@facundominguez -- any idea what's going wrong with the builds? I only added tests that seem to pass locally? looks like the cabal ghc-9.2.3 build is using some newer version of the Tasty?

facundominguez commented 11 months ago

The failing jobs are picking tasty-1.5, while stack is picking an older version. It may be an api change, indeed. Worth trying to put an upper bound to the tasty dependency.

Also, if you run cabal update in your machine, you might be able to reproduce it locally.

ranjitjhala commented 11 months ago

Thanks that fixed it!

On Wed, Sep 27, 2023 at 6:02 PM Facundo Domínguez @.***> wrote:

The failing jobs are picking tasty-1.5, while stack is picking an older version. It may be an api change, indeed. Worth trying to put an upper bound to the tasty dependency.

Also, if you run cabal update in your machine, you might be able to reproduce it locally.

— Reply to this email directly, view it on GitHub https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquid-fixpoint/pull/655*issuecomment-1738298475__;Iw!!Mih3wA!FMYFFUkbc9pPZxd7UPUlqQvApiccNsC4fc6KiCkVBPzNWZXaaAc1haThOXfyJWZ9d6vDhbmlMLyK_iLJ5ShGR29P$, or unsubscribe https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OFHLCRZ73U2DZ4HAR3X4TEA5ANCNFSM6AAAAAA5KD74JU__;!!Mih3wA!FMYFFUkbc9pPZxd7UPUlqQvApiccNsC4fc6KiCkVBPzNWZXaaAc1haThOXfyJWZ9d6vDhbmlMLyK_iLJ5bGeNG3o$ . You are receiving this because you authored the thread.Message ID: @.***>