Skip to content

Commit

Permalink
fix: updated LLVM version in README
Browse files Browse the repository at this point in the history 
Set main version of LLVM to 14
Noted that KLEE uses LLVM 11, SMACK uses 12, Symbiotic uses 10
  • Loading branch information
@BorisJancicUWaterloo @agurfinkel
BorisJancicUWaterloo authored and agurfinkel committed May 27, 2023
1 parent f8acad3 commit 4867ac3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -262,7 +262,7 @@ All verification results by giving different options we collected and reasoning
Leave `aws-c-common` library as is if you have already built verification jobs for SeaHorn.

NOTE: The recommended version of LLVM for Symbiotic is LLVM-10
Make sure to use the correct version of LLVM and seahorn when using SMACK
Make sure to use the correct version of LLVM and seahorn when using Symbiotic
seahorn for LLVM-10: https://github.com/seahorn/seahorn/tree/dev10

As a prerequisite, build Symbiotic following [this guide](https://github.com/staticafi/symbiotic#building-symbiotic-from-sources). Note, we require to use [LLVM](http://llvm.org/) [10.0.1](https://releases.llvm.org/download.html#10.0.1).
Expand Down

0 comments on commit 4867ac3

Please sign in to comment.