[PPL-devel] satisfies4 test

[P M Hill]

Hi,

This looks odd to me...

In satisfies 4.cc
we have:

GenSys_Con_Rel rel = ph.satisfies(c);
...
return rel == NONE_SATISFIES ? 0 : 1;

But, if you run it noisy we get:

--- ph ---
v(-4*A + 5*B),
r(-A + B),
r(A).
--- c ---
A = -1
ph.satisfies(c) == SOME_SATISFY

which agrees with my own paper and pencil calculation.

ciao,
  Pat

BTW I am using this latest version - I checked...

On Tue, 5 Mar 2002, Enea Zaffanella wrote:

> CVSROOT:	/cvs/ppl
> Module name:	ppl
> Changes by:	zaffanella at cs.unipr.it	2002-03-05 16:46:59
>
> Modified files:
> 	tests          : satisfies4.cc
>
> Log message:
> 	Corrected the test just inserted (and set NOISY = 0).
>
> Patches:
> http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/satisfies4.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2
>
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>