Ralf Hemmecke wrote:
> 
> Can someone explain, why this test is "expected to fail"?
> 
> https://github.com/fricas/fricas/blob/master/src/input/bugs2007.input#L45
> 
> Why is there "xftestEquals" instead of just "testNotEquals"?
> 
>  strNoPole := "noPole"
> xftestEquals(_
>   "eval(integrate(1/(a+x^4),x=0..%plusInfinity, strNoPole), a=1)", _
>   "integrate(1/(1+x^4),x=0..%plusInfinity)")
> 
> In fact, I would rather want the results to be equal, i.e. "testEquals".
> 
> Looks like this testcase is making sure that the bug stays in FriCAS.
> Am I missing something?

Yes. 'xftest...' means failing test.  In the summary you get
separately number of expected and unexpected failures.  When
testing FriCAS unexpected failure means something got
recently broken, so test machinery shouts about them.
OROH expected failures are known bugs, so no news.
If test normally expected to fail passes, then this
is also reported so that testsuite can be udjusted.

BTW: This is standard practice in testing: we do not want
expected bugs to produce too much clutter in the output,
but we still want to keep the test.  Also, greping
testsuite for 'xftest' gives some idea about known bugs.

-- 
                              Waldek Hebisch
[email protected] 

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to