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