Welcome to the User's Guide for xatdb, the graphical symbolic debugger front-end to atemu.
Using this guide, you will learn how to build and install atemu and xatdb, and how to use the debugger to help you with development of your own programs.
We provide two simple tutorials here to illustrate the use of xatdb. The first shows how you use xatdb to load, run and step through a simple well known application like the TinyOS based Blink. The second example provides a glimpse into the much more powerful capability of ATEMU, and demonstrates how ATEMU and xatdb can be used together to run emulations of that involve more than a single sensor node.