alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Add inputs support.

Browse source 
* src/bin/ltlcross.cc: Update print_stats_json.
This commit is contained in:
Elie Abi Saad 2013-02-14 15:17:50 +01:00 • committed by Alexandre Duret-Lutz
parent 69dcff5ab0
commit 2e5e5d1e3c
1 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/bin/ltlcross.cc
View file

@ -1061,23 +1061,24 @@ print_stats_json(const char* filename)
unsigned rounds = vstats.size(); unsigned rounds = vstats.size();
assert(rounds == formulas.size()); assert(rounds == formulas.size());
*out << "{\n \"tools\": [\n \""; *out << "{\n \"tool\": [\n \"";
spot::escape_str(*out, translators[0]); spot::escape_str(*out, translators[0]);
for (unsigned t = 1; t < ntrans; ++t) for (unsigned t = 1; t < ntrans; ++t)
{ {
*out << "\",\n \""; *out << "\",\n \"";
spot::escape_str(*out, translators[t]); spot::escape_str(*out, translators[t]);
} }
*out << "\"\n ],\n \"inputs\": [\n \""; *out << "\"\n ],\n \"formula\": [\n \"";
spot::escape_str(*out, formulas[0]); spot::escape_str(*out, formulas[0]);
for (unsigned r = 1; r < rounds; ++r) for (unsigned r = 1; r < rounds; ++r)
{ {
*out << "\",\n \""; *out << "\",\n \"";
spot::escape_str(*out, formulas[r]); spot::escape_str(*out, formulas[r]);
} }
*out << ("\"\n ],\n \"fields\": [\n \"input\", \"tool\","); *out << ("\"\n ],\n \"fields\": [\n \"formula\", \"tool\",");
statistics::fields(*out); statistics::fields(*out);
*out << "\n ],\n \"results\": ["; *out << "\n ],\n \"inputs\": [ 0, 1 ],";
*out << "\n \"results\": [";
bool notfirst = false; bool notfirst = false;
for (unsigned r = 0; r < rounds; ++r) for (unsigned r = 0; r < rounds; ++r)
for (unsigned t = 0; t < ntrans; ++t) for (unsigned t = 0; t < ntrans; ++t)