Commit 4b70453d authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files


parent 6835973a
......@@ -125,7 +125,7 @@ Running coverage tests
First, compile (and link) Spot with coverage enabled.
% ./configure CXX='gcc --coverage'
% ./configure CXX='g++ --coverage'
% make
Then run the test suite (or any program you want to study).
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