From 2e5e5d1e3c3bc42f56dca72c0cd9566c4f143726 Mon Sep 17 00:00:00 2001 From: Elie Abi Saad Date: Thu, 14 Feb 2013 15:17:50 +0100 Subject: [PATCH] Add inputs support. * src/bin/ltlcross.cc: Update print_stats_json. --- src/bin/ltlcross.cc | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/bin/ltlcross.cc b/src/bin/ltlcross.cc index c667729c4..be7934f5c 100644 --- a/src/bin/ltlcross.cc +++ b/src/bin/ltlcross.cc @@ -1061,23 +1061,24 @@ print_stats_json(const char* filename) unsigned rounds = vstats.size(); assert(rounds == formulas.size()); - *out << "{\n \"tools\": [\n \""; + *out << "{\n \"tool\": [\n \""; spot::escape_str(*out, translators[0]); for (unsigned t = 1; t < ntrans; ++t) { *out << "\",\n \""; spot::escape_str(*out, translators[t]); } - *out << "\"\n ],\n \"inputs\": [\n \""; + *out << "\"\n ],\n \"formula\": [\n \""; spot::escape_str(*out, formulas[0]); for (unsigned r = 1; r < rounds; ++r) { *out << "\",\n \""; spot::escape_str(*out, formulas[r]); } - *out << ("\"\n ],\n \"fields\": [\n \"input\", \"tool\","); + *out << ("\"\n ],\n \"fields\": [\n \"formula\", \"tool\","); statistics::fields(*out); - *out << "\n ],\n \"results\": ["; + *out << "\n ],\n \"inputs\": [ 0, 1 ],"; + *out << "\n \"results\": ["; bool notfirst = false; for (unsigned r = 0; r < rounds; ++r) for (unsigned t = 0; t < ntrans; ++t)