Commit e4c814a4 authored by Robert Ricci's avatar Robert Ricci

Don't produce annotated rspec if mapping fails.

parent 6eb7f18e
......@@ -1200,7 +1200,13 @@ int main(int argc,char **argv) {
#ifdef WITH_XML
if (vtop_rspec_input || vtop_xml_input)
{
// For now, only produce annotated file if we succeeded - print the
// text version regardless
if (violated == 0) {
print_solution(best_solution, annotated_filename(vtopFilename).c_str());
} else {
print_solution(best_solution);
}
}
else
print_solution(best_solution);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment