summaryrefslogtreecommitdiff
path: root/ecos/packages/services/gcov/current/doc/gcov-doc.tex
diff options
context:
space:
mode:
authorlaranjeiro2007-10-04 07:56:12 +0000
committerlaranjeiro2007-10-04 07:56:12 +0000
commit3943e4129977f6a034134a8ff6b41fcbaada0c05 (patch)
tree9d570ef72cb5d72feb920aeb17a9fa0a8e37e1e0 /ecos/packages/services/gcov/current/doc/gcov-doc.tex
parent0210f4eb65c0c8987fa72ab21b1c05386d3b8eae (diff)
Add Gcov to Ecos for ecoscentric.
git-svn-id: svn+ssh://pessac/svn/cesar/trunk@767 017c9cb6-072f-447c-8318-d5b54f68fe89
Diffstat (limited to 'ecos/packages/services/gcov/current/doc/gcov-doc.tex')
-rw-r--r--ecos/packages/services/gcov/current/doc/gcov-doc.tex41
1 files changed, 41 insertions, 0 deletions
diff --git a/ecos/packages/services/gcov/current/doc/gcov-doc.tex b/ecos/packages/services/gcov/current/doc/gcov-doc.tex
new file mode 100644
index 0000000000..44219d6747
--- /dev/null
+++ b/ecos/packages/services/gcov/current/doc/gcov-doc.tex
@@ -0,0 +1,41 @@
+\documentclass[a4paper,10pt]{article}
+
+
+%opening
+\title{Gcov for Ecos}
+\author{SPiDCOM Technologies}
+
+\begin{document}
+
+\maketitle
+
+\begin{abstract}
+Gcov for Ecos.
+\end{abstract}
+
+\section {Package Gcov for gcc 3.2.1}
+
+\subsection{Files}
+
+The files used for this package are some of the gnu gcov files.\\
+The others ones are only sources files to detect the version of the compiler and use the system function to use gcov with ecos.
+
+\subsection{Version}
+
+This version of gcov actually works with the gnu gcc compiler with the version 3.2.1, the other ones does not work.\\
+
+\subsection{Files generated}
+
+The file generated by this version are~:
+\begin{itemize}
+ \item .bb
+ \item .bbg
+ \item .da
+\end{itemize}
+
+\subsection{How to check the coverage}
+
+To verfify the coverage of the test use the gcov tool of ecos with the following command~:\\
+i386-elf-gcov $<$name\_of\_src.da$>$
+
+\end{document}