Le dim. 28 déc. 2025 à 18:42, Waldek Hebisch <[email protected]> a écrit :
>
> On Sun, Dec 28, 2025 at 03:30:37PM +0100, Grégory Vanuxem wrote:
> > Hello,
> >
> > I am adding some input test files using the FriCAS testing framework
> > from M. Rubey for manual testing. During the coding test and running
> > test files sequentially in the interpreter, I noticed that previous
> > test files seem to be re-run. To be more explicit, here are the tail
> > of two interpreter sessions, one where I check only jws.input from a
> > fresh FriCAS session, the second I check jws.input but, after a
> > jnemo.input test.
> <snip<
> > Is it what is expected? It seems the previous test (jnemo.input) is
> > re-run when checking jws.input. Wouldn't it be preferable to reset the
> > testing framework? Something like after statistics() for example,
> > reset the test framework?
>
> Testing framework keeps current score. Running a test adds to
> the score. So, tests are run just when you run corresponding
> input file, but reported score is cumulative (that is old score
> is added to the current score). From docstring of 'statistics':
>
> ++ statistics() prints out a summary of the outcome of the testcases so
> ++ far. Use \spad{clear completely} to reset the statistics.
Shame on me. I should have read the docstring. Since
testsuite/testcase clear all variables and function definitions I
thought previous statistics should have been deleted too. But
statistics are incrementally added. That makes sense in fact. Thanks
for this clarification.
Greg
PS: BTW 'clear completely' could be more explicit in the docstring I
think. Specified as a system command or using \spad{)clear
completely}.
--
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 view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/CAHnU2dbwaVuvS7q-aE%2BAdkYgAFWJAHe2jkedWwcJEp9qjKT8%2Bw%40mail.gmail.com.
