BLAST 2.7.2 has been released
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'14competition 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