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.

Sign up for GitHub

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

feat: nicer output #209

Merged
merged 10 commits into from
Oct 20, 2023
Merged

feat: nicer output #209

Show file tree
Hide file tree
Changes from 7 commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
9bfff2e
add type-sensitive rendering for model values
karmacoma-eth Oct 13, 2023
544a05c
Add signatures for new cheatcodes
karmacoma-eth Oct 14, 2023
7fb60ff
introduce Exec.set_code to fix vm.etch
karmacoma-eth Oct 16, 2023
d3b16a7
add more console.log functions with type based rendering
karmacoma-eth Oct 17, 2023
b09fcd9
implement new halmos cheatcodes
karmacoma-eth Oct 18, 2023
084eaa4
rename tests in Console.t.sol and update expected json
karmacoma-eth Oct 18, 2023
f8025d6
update halmos-cheatcodes + tests + fix createInt
karmacoma-eth Oct 18, 2023
5b3c56f
staticmethod fix for python < 3.10
karmacoma-eth Oct 20, 2023
0c25d1b
Merge branch 'main' into feat-nicer-output
karmacoma-eth Oct 20, 2023
8b5b151
add test for console.log with undecode string
karmacoma-eth Oct 20, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions src/halmos/__main__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@
from .utils import (
create_solver,
hexify,
stringify,
indent_text,
NamedTimer,
yellow,
Expand Down Expand Up @@ -1066,14 +1067,14 @@ def select(var):
return name.startswith("p_") or name.startswith("halmos_")

select_model = filter(select, model) if not print_full_model else model
return {str(decl): hexify(model[decl]) for decl in select_model}
return {str(decl): stringify(str(decl), model[decl]) for decl in select_model}


def render_model(model: UnionType[str, StrModel]) -> str:
if isinstance(model, str):
return model

formatted = [f"\n {decl} = {hexify(val)}" for decl, val in model.items()]
formatted = [f"\n {decl} = {val}" for decl, val in model.items()]
return "".join(sorted(formatted)) if formatted else "∅"


Expand Down
Loading
Loading