You may download sources and binaries on the Files page of the BLAST project. See also the original project page.

Release notes¶

This version only inroduces a few new options to support SV-COMP'14
competition rules:

• "-alias empty" to disable alias analysis ("-alias ''" is sometimes hard to specify)
• "-errorpathfile file" to print resulting (final) error trace to file
• "-propertyfile file" to read .prp property from the file specified