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

Print link to foundry_success predicate in help_info #423

Merged
merged 23 commits into from
Mar 13, 2024
Merged

Conversation

lisandrasilva
Copy link
Contributor

@lisandrasilva lisandrasilva commented Mar 8, 2024

Fixes #414.

@lisandrasilva lisandrasilva changed the title print Print link to foundry_success predicate in help_info Mar 8, 2024
@lisandrasilva lisandrasilva self-assigned this Mar 8, 2024
@lisandrasilva lisandrasilva added the documentation Improvements or additions to documentation label Mar 8, 2024
@palinatolmach palinatolmach marked this pull request as ready for review March 8, 2024 09:44
Copy link
Collaborator

@palinatolmach palinatolmach left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved with a note on the expected output update!

@palinatolmach
Copy link
Collaborator

palinatolmach commented Mar 11, 2024

Looks like the output got outdated, will regenerate it.

@palinatolmach
Copy link
Collaborator

Looks like the output got outdated, will regenerate it.

Actually, I'm still getting the same output — @lisandrasilva can you please check what's the reason the tests are failing now? Are you still getting the same contracts.k and foundry.k files locally? ty!

@lisandrasilva
Copy link
Contributor Author

I just noticed that I am building with:

CXX=clang++-14 poetry run kdist --verbose build -j2 evm-semantics.haskell kontrol.foundry

That can be the reason why I get those changes in the output.

@rv-jenkins rv-jenkins merged commit d29a776 into master Mar 13, 2024
11 checks passed
@rv-jenkins rv-jenkins deleted the lis/help-info branch March 13, 2024 18:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automerge documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Foundry.help_info() does not print link to the foundry_success predicate
3 participants