The TestExecution inside of the counterexample.json file is encoded to JSON string and stored inside of the counterexample as a serialized JSON string, meaning, that it's serialized JSON inside of serialized JSON. Fix this by preventing the double serialization and update all client libraries accordingly.
The
TestExecutioninside of the counterexample.json file is encoded to JSON string and stored inside of the counterexample as a serialized JSON string, meaning, that it's serialized JSON inside of serialized JSON. Fix this by preventing the double serialization and update all client libraries accordingly.