Commit 1222ba5b authored by David Hauzar's avatar David Hauzar

Minor: fixed typo in a comment.

parent f3aa06e2
......@@ -181,7 +181,7 @@ val print_model_json :
- "value": value of counterexample element
- "kind": kind of counterexample element:
- "result": Result of a function call (if the counter-example is for postcondition)
- "result": Old value of function argument (if the counter-example is for postcondition)
- "old": Old value of function argument (if the counter-example is for postcondition)
- "error_message": The model element represents error message, not source-code element.
The error message is saved in the name of the model element
- "other"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment