load test-suite failed due to error 5: database is locked

[tabe]

This issue is reproduced not only on macOS CI, but also on a NixOS 24.04 box.

flint> ===========================================
flint>    Flint 2.5.0: test/load/test-suite.log
flint> ===========================================
flint> # TOTAL: 3
flint> # PASS:  1
flint> # SKIP:  0
flint> # XFAIL: 0
flint> # FAIL:  2
flint> # XPASS: 0
flint> # ERROR: 0
flint> .. contents:: :depth: 2
flint> FAIL: test_param
flint> ================
flint> failed to create table input: 5: database is locked
flint>  with database /private/tmp/nix-build-flint-2.4.99.drv-0/source/test/load/4d96c8de-d10a-48e2-a0e0-be9d74e58e78.db
flint> Running 8 test cases...
flint> test_param.cc:29: fatal error: in "test_param/hepatocyte_internal": critical check phml::Read(driver_.db(), boost::filesystem::current_path()) has failed
flint> *** 1 failure is detected in the test module "test_param"
flint> FAIL test_param (exit status: 201)
flint> FAIL: test_var
flint> ==============
flint> failed to create table input: 5: database is locked
flint>  with database /private/tmp/nix-build-flint-2.4.99.drv-0/source/test/load/37a676f5-5197-40fc-ae9f-5d5fdb921fba.db
flint> Running 8 test cases...
flint> test_var.cc:29: fatal error: in "test_var/hepatocyte_external": critical check phml::Read(driver_.db(), boost::filesystem::current_path()) has failed
flint> failed to create table odes: 5: database is locked
flint>  with database /private/tmp/nix-build-flint-2.4.99.drv-0/source/test/load/4d96c8de-d10a-48e2-a0e0-be9d74e58e78.db
flint> test_var.cc:29: fatal error: in "test_var/hepatocyte_internal": critical check phml::Read(driver_.db(), boost::filesystem::current_path()) has failed
flint> *** 2 failures are detected in the test module "test_var"
flint> FAIL test_var (exit status: 201)
flint> ============================================================================
flint> Testsuite summary for Flint 2.5.0
flint> ============================================================================
flint> # TOTAL: 3
flint> # PASS:  1
flint> # SKIP:  0
flint> # XFAIL: 0
flint> # FAIL:  2
flint> # XPASS: 0
flint> # ERROR: 0
flint> ============================================================================
flint> See test/load/test-suite.log
flint> Please report to tabe@fixedpoint.jp
flint> ============================================================================
flint> make[4]: *** [Makefile:760: test-suite.log] Error 1
flint> make[4]: Leaving directory '/private/tmp/nix-build-flint-2.4.99.drv-0/source/test/load'
flint> make[3]: *** [Makefile:868: check-TESTS] Error 2
flint> make[3]: Leaving directory '/private/tmp/nix-build-flint-2.4.99.drv-0/source/test/load'
flint> make[2]: *** [Makefile:954: check-am] Error 2
flint> make[2]: Leaving directory '/private/tmp/nix-build-flint-2.4.99.drv-0/source/test/load'
flint> make[1]: *** [Makefile:437: check-recursive] Error 1
flint> make[1]: Leaving directory '/private/tmp/nix-build-flint-2.4.99.drv-0/source/test'
flint> make: *** [Makefile:463: check-recursive] Error 1
error: builder for '/nix/store/bqn7pg4f176hlvqis8avdnbn1a5iixqh-flint-2.4.99.drv' failed with exit code 2;
       last 25 log lines:
       > FAIL test_var (exit status: 201)
       >
       > ============================================================================
       > Testsuite summary for Flint 2.5.0
       > ============================================================================
       > # TOTAL: 3
       > # PASS:  1
       > # SKIP:  0
       > # XFAIL: 0
       > # FAIL:  2
       > # XPASS: 0
       > # ERROR: 0
       > ============================================================================
       > See test/load/test-suite.log
       > Please report to tabe@fixedpoint.jp
       > ============================================================================
       > make[4]: *** [Makefile:760: test-suite.log] Error 1
       > make[4]: Leaving directory '/private/tmp/nix-build-flint-2.4.99.drv-0/source/test/load'
       > make[3]: *** [Makefile:868: check-TESTS] Error 2
       > make[3]: Leaving directory '/private/tmp/nix-build-flint-2.4.99.drv-0/source/test/load'
       > make[2]: *** [Makefile:954: check-am] Error 2
       > make[2]: Leaving directory '/private/tmp/nix-build-flint-2.4.99.drv-0/source/test/load'
       > make[1]: *** [Makefile:437: check-recursive] Error 1
       > make[1]: Leaving directory '/private/tmp/nix-build-flint-2.4.99.drv-0/source/test'
       > make: *** [Makefile:463: check-recursive] Error 1
       For full logs, run 'nix log /nix/store/bqn7pg4f176hlvqis8avdnbn1a5iixqh-flint-2.4.99.drv'.