30 May
2013
30 May
'13
6:35 a.m.
On 05/27/2013 11:30 PM, Zhoulai wrote:
Dear all,
I would like to know whether PPL library has built - in way to count the number of integers satisfying an abstract domain in PPL ?
No, this functionality is not currently supported by the library.
Enea.
Say, a domain of Int64_box has a constraint {x<=2, -x<=0} which has cardinality 3, for {x>=0}, the cardinality would be 2ˆ32 if it is the greatest integer.
The motivation is to roughly compare the precisions of two groups of analyses.
Thanks.
Zell.