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

ltlcross: display formulas in blue instead of white

Browse source 
So that people using white-background terminal can still read them...
Reported by Joachim Klein.

* src/bin/ltlcross.cc: Adjust.
* NEWS: Mention it.
This commit is contained in:
Alexandre Duret-Lutz 2014-08-20 21:29:57 +02:00
parent 795c2f1720
commit e78548ebae
2 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
NEWS
View file

@ -16,6 +16,11 @@ New in spot 1.2.4a (not yet released)
- Fix a memory leak in the little-used conversion from - Fix a memory leak in the little-used conversion from
transition-based alternating automata to tgba. transition-based alternating automata to tgba.
- Fix a harmless uninitialized read in BuDDy. - Fix a harmless uninitialized read in BuDDy.
- When writing to the terminal, ltlcross used to display each
formula in bright white, to make them stand out. It turns out
this was actually hiding the formulas for people using a
terminal with white background... This version displays formula
in bright blue instead.
New in spot 1.2.4 (2014-05-15) New in spot 1.2.4 (2014-05-15)

8
src/bin/ltlcross.cc
View file

@ -1,6 +1,6 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2012, 2013 Laboratoire de Recherche et Développement // Copyright (C) 2012, 2013, 2014 Laboratoire de Recherche et
// de l'Epita (LRDE). // Développement de l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
// //
@ -187,7 +187,7 @@ ARGMATCH_VERIFY(color_args, color_types);
color_type color_opt = color_if_tty; color_type color_opt = color_if_tty;
const char* bright_red = "\033[01;31m"; const char* bright_red = "\033[01;31m";
const char* bright_white = "\033[01;37m"; const char* bright_blue = "\033[01;34m";
const char* bright_yellow = "\033[01;33m"; const char* bright_yellow = "\033[01;33m";
const char* reset_color = "\033[m"; const char* reset_color = "\033[m";
@ -1244,7 +1244,7 @@ namespace
if (filename || linenum) if (filename || linenum)
std::cerr << " "; std::cerr << " ";
if (color_opt) if (color_opt)
std::cerr << bright_white; std::cerr << bright_blue;
std::cerr << fstr << "\n"; std::cerr << fstr << "\n";
if (color_opt) if (color_opt)
std::cerr << reset_color; std::cerr << reset_color;