S2EExecutor: removed useless params from s2e_qemu_cleanup_tb_exec

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: current state cannot be speculative

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
S2EExecutor: fixed case when finalizing TB raises an exception

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
build: Integrate number of jobs to run into MAKE variable

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Replace manual directory changes by recursive Make invocations

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Simplify qemu dependency declaration wrt KLEE

S2E handles target dependencies through stamps, there is no sense in
excluding qemu's dependency on KLEE from this scheme.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Simplify klee-configure dependencies wrt stp

S2E handles target dependencies through stamps, there is no sense in
excluding KLEE's dependency on stp from this scheme.

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: Add shorthands for compiling all ASAN-enabled targets

Signed-off-by: Diego Biurrun <diego@biurrun.de>
build: added llvm dependency for tools

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
docs/TestingMinimalProgram: Fix typo in config file example

Signed-off-by: Diego Biurrun <diego@biurrun.de>
docs/BuildingS2E: Remove instructions for manually building S2E.

The instructions are outdated wrt the commands actually used in
the Makefile, so refer to the Makefile instead.

Signed-off-by: Diego Biurrun <diego@biurrun.de>