RUN: aspicere2-debug.sh ${ASPICERE2_INSTALL}/include/stack.c ${ASPICERE2_SRC}/test/Feature/CflowStackExecutionExecution/main.c -o Output/db-debug -aspects ${ASPICERE2_BUILD}/test/Feature/CflowStackExecutionExecution/aspects.lst -modules ${ASPICERE2_BUILD}/test/Feature/CflowStackExecutionExecution/modules.lst
RUN: llvm-dis -f Output/db-debug.bc
RUN: ./Output/db-debug 2&> %t1
RUN: diff %t1 ${ASPICERE2_SRC}/test/Feature/CflowStackExecutionExecution/output.txt #&& diff %t2 %t3 && diff %t2 %t4
