Project

General

Profile

BLAST 2.7.2 has been released

Added by Mikhail Mandrykin over 5 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