Testuite for S2E ARM port
This repository contains the acceptance test-suite for the ARM port of S2E.
Tests contains mini-firmwares written in C or ASM for ARM
architecture (both thumb and arm modes); in order to compile them
you need an ARM cross-compiler. We currently use and suggest the
gcc-4.7-arm-none-eabi available from
We use Cucumber and Aruba as test-runners, so you need to install them before starting the checks:
sudo apt-get install cucumber ruby-aruba