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

* src/bin/ltlcheck.cc: Diagnose missing output format.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-10-14 18:29:34 +02:00
parent 8e9002947e
commit d1871d87dc
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/bin/ltlcheck.cc
View file

@ -491,6 +491,11 @@ namespace
std::ostringstream command; std::ostringstream command;
format(command, translators[translator_num]); format(command, translators[translator_num]);
toclean.push_back(output.val()); toclean.push_back(output.val());
if (output.format == printable_result_filename::None)
error(2, 0, "no output sequence used in %s",
translators[translator_num]);
std::string cmd = command.str(); std::string cmd = command.str();
std::cerr << "Running [" << l << translator_num << "]: " std::cerr << "Running [" << l << translator_num << "]: "
<< cmd << std::endl; << cmd << std::endl;