[PPL-devel] ppl/tests powersetwidening1.cc
zaffanella at spartacus.cs.unipr.it
Sat Aug 23 18:10:50 CEST 2003
Module name: ppl
Changes by: zaffanella at cs.unipr.it 2003-08-23 18:10:50
tests : powersetwidening1.cc
Counter-example for the simple powerset widening is now working as expected.
More information about the PPL-devel