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