On Wed, Jun 10, 2026 at 08:16:18AM +0800, Qian Yun wrote:
> On 6/10/26 3:10 AM, Waldek Hebisch wrote:
> > On Wed, Jun 10, 2026 at 12:12:10AM +0800, Qian Yun wrote:
> >> On 6/9/26 11:09 PM, Waldek Hebisch wrote:
> >>> On Tue, Jun 09, 2026 at 10:49:10PM +0800, Qian Yun wrote:
> >>>> Latest commit 4778988f "Add openIfCan" added test
> >>>> that fails on Windows.
> >>>>
> >>>> Do you need me to debug it on Windows?
> >>>
> >>> I have no access to Windows. Test tries to create file in a root
> >>> directory of file system. If Windows allows this for ordinary user,
> >>> then I see no way for this test to pass on Windows. If there is
> >>> different problem, then it would be good to fix it.
> >>>
> >>> In principle we could make the test conditional, so that it is
> >>> skipped on Windows (that would require some work on "assertions").
> >>>
> >>
> >> I can't reproduce this test error locally. Probably because
> >> the Windows github actions runner is executed with Admin user.
> >> This test fails under Linux if run with root.
> >>
> >> I change the test from "output" to "input", and it passes.
> >
> > The idea was to test that file system permissions prevent
> > operation and that this get caugt as "failed". Input
> > fails because file does not exist, this is different (and
> > easier).
> >
>
> How to proceed then? Add assertions? But this is not tied to
> Windows, it is tied to admin/root user.
One possibility is to allow this test to fail. IIUC this currently
causes CI failure but I hope it is possibile to ignore this test in CI.
I used file in root directory in hope of getting test independent
of operating system. So another way is to use test depending on
OS (on Unix using touch + chmod to get desired permissions) and use
assertions to activate it or choose correct version.
--
Waldek Hebisch
--
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/ainZB3-inZQ546--%40fricas.org.
