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

Jump to bottom

Wrap QuintInt's value in string on JSON export #1059

Closed
thpani opened this issue Jul 19, 2023 · 1 comment
Closed

Wrap QuintInt's value in string on JSON export #1059

thpani opened this issue Jul 19, 2023 · 1 comment
Assignees
@thpani
Milestone
Transpillation to...

Comments

@thpani
Copy link
Contributor

thpani commented Jul 19, 2023

Wrap QuintInt value in string on JSON export, to ensure proper deserialization.

Together with apalache-mc/apalache#2653, this fixes #1055
@thpani thpani self-assigned this Jul 19, 2023
@thpani thpani added this to the Transpillation to ApalacheIR milestone Jul 19, 2023
@thpani thpani mentioned this issue Jul 19, 2023
Closed
@thpani thpani changed the title Wrap QuintInt value in string on JSON export Wrap QuintInt's value in string on JSON export Jul 19, 2023
This was referenced Jul 20, 2023
Merged
Closed
@thpani
Copy link
Contributor Author

thpani commented Jul 24, 2023

We instead ended up fixing the JSON parser in Apalache:
apalache-mc/apalache#2661

@thpani thpani closed this as not planned Won't fix, can't repro, duplicate, stale Jul 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@thpani thpani

Labels
None yet
Projects
None yet
Milestone
Transpillation to ApalacheIR
Development

Successfully merging a pull request may close this issue.

Wrap bigints into string in JSON serialization informalsystems/quint
1 participant
@thpani