STLLVM-Examples
Examples of LLVM IR generated by the STLLVM compiler.
.st are the ST files
.ll files were generated in normal mode
.sh.ll files were generated in SeaHorn single cycle mode
.sc.ll files were generated in SeaHorn multi cycle mode
.kl.ll files were generated in KLEE mode