Skip to content

Unable to automatic run tests of directories large_arrays_fail and large_arrays_pass #9

@julianayang777

Description

@julianayang777

Unable to automatic run tests for model saf and saite for directories large_arrays_fail and large_arrays_pass. Already tried to restart the machine and reinstall dune. The following image shows the error with file dune-project updated using (lang dune #3.14) and running the files test_saite.t and test_saf.t that are in a691a9a:
Runtest_error

After that, split the test_saite.t and test_saf.t into two parts: one just running directory basic and another running large_arrays_fail(files test_saite_large.t and test_saf_large.t ) and the problem still persists for :
Runtest_error2

I noted that the directory _build/.sandbox/ was created with the respective files, but after a few seconds it was deleted, and then when the dune executes $ (cd _build/.sandbox/65d9dc46b06fa831ae07ab8cf5dac2fa/default/test && /bin/sh /var/folders/xg/sz99j_9x5jxfkj1lbsfwxmzc0000gn/T/dune_cram_feceae_.test_saite.t/main.sh) (this information got from _build/log when running dune runtest), it got the error.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions