You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It might be better to write one json file with all the produced information and with a format marker: perhaps easier this way to evolve the format by adding more keys, and then we can have a JSON schema for the whole thing.
The text was updated successfully, but these errors were encountered:
sourcefrog
added
the
output
About the format and content of files in mutants.out and other output files
label
Apr 13, 2024
It might be better to write one json file with all the produced information and with a format marker: perhaps easier this way to evolve the format by adding more keys, and then we can have a JSON schema for the whole thing.
The text was updated successfully, but these errors were encountered: