Le 21/09/2012 01:13, Timon Gehr a écrit :
You could post an enhancement request to allow interpretation of
incompletely-analyzed functions, if you think it is of any use.


I predict tricky implementation.

Reply via email to