Project

General

Profile

BLAST 2.7.2 has been released

Added by Mikhail Mandrykin over 10 years ago

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

Comments