8000 Release v0.16.0: [man] fix bogus markup · weisjohn/infer · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
8000

v0.16.0

@jvillard jvillard tagged this 23 Apr 12:04
Summary:
Replace `$(u,...)` with `$(i,...)` since `$(u,...)` doesn't exist.
Cmdliner was emitting a warning at runtime:

  cmdliner error: Unknown cmdliner markup $(u,...) in "Specify classes where the destructor should be ignored when computing liveness. In other words, assignement to variables of these types (or common wrappers around these types such as $(u,unique_ptr<type>)) will count as dead stores when the variables are not read explicitly by the program. (default: $(i,[]))"

Reviewed By: mbouaziz

Differential Revision: D15045004

fbshipit-source-id: e03ece4f7
Assets 2
Loading
0