Activity
From 04 Apr 2024 to 03 May 2024
19 Apr 2024
- 22:10 Bug #1794 (Resolved): Do not use random inside tests!!
- @random@ is called harmlessly in @exbugs.cocoa5@.
We should check *@ErrMesg.cocoa5@* and *@test-ApproxSolve.cocoa5@*... - 17:10 Design #1709 (Closed): Test tut-CoCoLA2
12 Apr 2024
- 19:08 Design #1709: Test tut-CoCoLA2
- I have just checked-in the changes. They should be in the next "internal" release. Hope to resolve #1814 before mak...
07 Apr 2024
- 20:42 Design #1709 (Resolved): Test tut-CoCoLA2
- 20:41 Design #1709: Test tut-CoCoLA2
- Ah, oops!
Since Anna did not object, I have just made the change hinted at in my comment 8 above. This should avoid...
06 Apr 2024
- 15:55 Design #1709: Test tut-CoCoLA2
- John Abbott wrote:
> What do you think?
I think it would be preferable to have deterministic output (i.e. literal...
Also available in: Atom