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

Manual: explain how and where JSON output is produced #136

Closed
andrey-kuprianov opened this issue Apr 21, 2020 · 1 comment
Closed

Manual: explain how and where JSON output is produced #136

andrey-kuprianov opened this issue Apr 21, 2020 · 1 comment
Assignees
@andrey-kuprianov
Labels
doc Documentation FMBT Feature: support for model-based testing
Milestone
backlog2021

Comments

@andrey-kuprianov
Copy link
Contributor

As now JSON output is produced for both parsed TLA+ files and found counterexamples, this should be explained in the manual.
@andrey-kuprianov andrey-kuprianov added the doc Documentation label Apr 21, 2020
@andrey-kuprianov andrey-kuprianov self-assigned this Apr 21, 2020
@konnov konnov added this to the v0.12.0-user-care milestone Sep 23, 2020
@konnov konnov modified the milestones: v0.12.0-user-care, backlog2021 Dec 11, 2020
@konnov konnov added the FMBT Feature: support for model-based testing label Jan 23, 2021
konnov added a commit that referenced this issue Apr 29, 2021
@konnov
closes #136: pretty writer extends the standard modules
a885e2c
@konnov
Copy link
Collaborator

konnov commented Apr 29, 2021

@Kukovec do you think the recent ADR on JSON closes this issue?

@konnov konnov closed this as completed in 8f209dd Apr 30, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@andrey-kuprianov andrey-kuprianov

Labels
doc Documentation FMBT Feature: support for model-based testing
Projects
None yet
Milestone
backlog2021
Development

No branches or pull requests
2 participants
@konnov @andrey-kuprianov