Release notes¶This version only inroduces a few new options to support SV-COMP'14
-alias empty" to disable alias analysis ("
-alias ''" is sometimes hard to specify)
-errorpathfilefile" to print resulting (final) error trace to file
-propertyfilefile" to read .prp property from the file specified