1
|
{"verified_deterministic_modules": 11, "diagnostics": 223, "accepted_forms": 26, "message_like": true, "spreads": true, "replace_keeps_states_by_name": true, "generated_programs_verified": 600, "generated_programs_over_instruction_limit": 0, "damaged_sources_accepted_and_verified": 51, "parity_snapshots": 16667, "parity_failed_events_matched": 921, "parity_programs": 5, "text_model_snapshots": 4800, "list_model_snapshots": 4800, "list_model_failed_events": 533, "conditional_snapshots": 4, "bool_snapshots": 9, "i64_snapshots": 9, "time_snapshots": 3600, "watched_builds": 19, "fold_snapshots": 3600, "keyed_snapshots": 3600, "keyed_failed_events": 669, "stored_snapshots": 5760, "stored_restarts": 216, "library_programs": 3, "library_diagnostics": 4, "editor_parity_operations": 1280, "editor_parity_outcomes": {"apply:conflict": 32, "apply:invalid": 6, "apply:limit": 118, "apply:ok": 37, "edit:conflict": 131, "edit:invalid": 15, "edit:limit": 314, "edit:ok": 141, "edit:payload_budget": 27, "show:invalid": 17, "show:not_found": 154, "show:ok": 277, "show:payload_budget": 11}}
|
