Skip to content
Snippets Groups Projects
Select Git revision
  • 02f8e35993dc3f62ab49e94f69a6dc27170660da
  • master default protected
  • develop
  • bugfix/missing-newline-parse-error
  • jastadd-fix-inc-param-debug
  • jastadd-2.3.5
  • 1.0.0-pre-release.alpha
7 results

AbstractGrammar.jadd

Blame
  • appendix.tex 662 B
    \chapter{Git-Repositorys}
    Das Repository für die actionlib-Integration sowie für das Testen des Cobots sind unter folgenden Links erreichbar:
    \begin{itemize}
    	\item \url{https://git-st.inf.tu-dresden.de/CS/actionlib_tron}
    	\item \url{https://git-st.inf.tu-dresden.de/CS/cobot1_tron_testing}
    \end{itemize}
    Die Adapter-Implementierung und jeweils genutzten Uppaal-Modelle (als XML-Datei) sind in beiden Fällen vorhanden. Beim Cobot sind außerdem die für die Test-Ausführung und -Analyse genutzten Bash-Scripts zu finden.
    \chapter{Header der Adapter-Implementierung}
    \lstset{
    	escapeinside={(@*}{*@)}
    }
    \lstinputlisting[language=C++]{./images/tron\_adapter.h}