%------------------------------------------------------------------------------
%                  Useful commands and acronymns used in the paper.
%------------------------------------------------------------------------------
% Commands
\newcommand{\mycomment}[1]{}
\newcommand{\ignore}[1]{}
%\ifpdf
%\renewcommand{\url}[1]{\texttt{\small{#1}}}
%\else
%\newcommand{\url}[1]{\texttt{\small{#1}}}
%\fi
\newcommand{\code}[1]{\texttt{#1}}
\newcommand{\codesm}[1]{\texttt{\small #1}}
\newcommand{\sm}[1]{{\small #1}}
\newcommand{\mycaption}[2]{\textbf{\textsf{\caption{#1}#2}}}

\newcommand{\todo}[1]{\textbf{TODO [#1]???}} 
\newcommand{\fixme}[1]{\textbf{FIXME [#1]???}} 
\newcommand{\remark}[1]{\textbf{REMARK [#1]???}} 
\newcommand{\comment}[1]{}

% Acronymns
\newcommand{\apriori}{\textit{a priori}}
\newcommand{\adhoc}{ad hoc}
\newcommand{\etal}{\textit{et al.}}
\newcommand{\eg}{\textit{e.g.}}
\newcommand{\ie}{\textit{i.e.}}
%\newcommand{\mybull}{$\bullet$}
\newcommand{\mybull}{}
\newcommand{\mystar}{$\bigstar$}


% Section names, figure names and algorithm names.
\newcommand{\figref}[1]{Figure~\ref{#1}}
\newcommand{\sectref}[1]{Section~\ref{#1}}
\newcommand{\sectrefs}[2]{Sections~\ref{#1}-\ref{#2}}
\newcommand{\aref}[1]{Algorithm~\ref{#1}}
\newcommand{\sect}[1]{\section{#1}}
\newcommand{\subsect}[1]{\subsection{#1}}
\newcommand{\subsubsect}[1]{\subsubsection{#1}}
\newcommand{\mysect}[1]{\subsect{#1}}

% Tool names
\newcommand{\Arch}{SymDrive}       % The whole system
%\newcommand{\driver}{symdriver}    % Driver + stubs + SEF
%\newcommand{\Driver}{Symdriver}
%\newcommand{\drivers}{symdrivers}
%\newcommand{\Drivers}{Symdrivers}
%\newcommand{\klee}{KLEE}

\newcommand{\see}{S$^{2}$E}
\newcommand{\itwoc}{I$^{2}$C}
%\newcommand{\see}{S2E}
%\newcommand{\itwoc}{I2C}
\newcommand{\ds}{SymGen} % SymInst, SymInstr, ...

% \newcommand{\sef}{SEF}
\newcommand{\Tf}{Test framework}
\newcommand{\TF}{Test Framework}
\newcommand{\tf}{test framework}
\newcommand{\howmanydrivers}{26}
\newcommand{\howmanybugs}{39}
