starting phase `set-SOURCE-DATE-EPOCH' phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds starting phase `set-paths' environment variable `PATH' set to `/gnu/store/29m85p7r7jg8p62l2abmx6baj1i0js1m-neovim-0.9.5/bin:/gnu/store/2ncymrx8d4n03yiwvc6128dxr3smhaq9-coq-for-coqtail-8.17.1/bin:/gnu/store/dc0ngmlgr5p3q3s78xdsn2kb94r0zypv-python-pytest-7.1.3/bin:/gnu/store/xbpyxagwbj70r4sb76smb2yiin9nq1pv-python-minimal-3.10.7/bin:/gnu/store/nfc8k0l56ch0s3g7xc04a31p9jj4bsvb-coq-8.17.1/bin:/gnu/store/mk8h2mxylkxgjh7zs0ll9nhm6abcg3jy-coq-ide-server-8.17.1/bin:/gnu/store/54cg8d0xnnbd6n40hg2smaqfafz2km79-tar-1.34/bin:/gnu/store/jjazmdlhvqh0yxzk2qwbl13hflnv9jj6-gzip-1.12/bin:/gnu/store/nbalv23p48cdwf9m651s4yagcacsay2l-bzip2-1.0.8/bin:/gnu/store/q68rwxvi47zkw29r7ycg6a4jg2lpky1d-file-5.44/bin:/gnu/store/8315h8gqhd9l5a593g2j09rby3zs6nds-diffutils-3.8/bin:/gnu/store/10dp5a06lqg5kcbl77wdl2sfhrjchagk-patch-2.7.6/bin:/gnu/store/kj4h8gvidm64l0p8k4q9knhprvmajcrp-findutils-4.9.0/bin:/gnu/store/vjw939r5cjccbmdcjxg34lbpqrcjpnwb-gawk-5.2.1/bin:/gnu/store/9a4hc78kh956srjzr00cwpql1pavfk7d-sed-4.8/bin:/gnu/store/acf2bj4w033i0b1v5bcws46gc85x4dm4-grep-3.8/bin:/gnu/store/qbhy2zzqzzfqbr7s59y513bxd1w22wzb-xz-5.2.8/bin:/gnu/store/n1jykk68ml8y9zm4ybygyfdjs3rw6bjs-coreutils-9.1/bin:/gnu/store/0mfya6ws3bk273wrwdgwlyv8j8cikkkg-make-4.3/bin:/gnu/store/id0knspwhrd51wrg2nbx2pw3ajz36ngg-bash-minimal-5.1.16/bin:/gnu/store/czfalsz0yhfl1m64k2s5ag9h2w4wxz95-ld-wrapper-0/bin:/gnu/store/1b5sk5dgk5y3hzczd8bq1micm5c7d1vj-binutils-2.38/bin:/gnu/store/9c54kwmmb31zzjxbcfi2z6070mqk73fy-gcc-11.3.0/bin:/gnu/store/a19xbynxc3sg25xpkwmx7g0mdl7g31hx-glibc-2.35/bin:/gnu/store/a19xbynxc3sg25xpkwmx7g0mdl7g31hx-glibc-2.35/sbin:/gnu/store/bw3rk1560rshb45vvlj81si7y83ir95m-python-tomli-2.0.1/bin' environment variable `COQPATH' unset environment variable `GUIX_PYTHONPATH' set to `/gnu/store/dc0ngmlgr5p3q3s78xdsn2kb94r0zypv-python-pytest-7.1.3/lib/python3.10/site-packages:/gnu/store/xbpyxagwbj70r4sb76smb2yiin9nq1pv-python-minimal-3.10.7/lib/python3.10/site-packages:/gnu/store/a47r53f0lrxi0045yzbimw4fyx4fk5r8-python-pynvim-0.4.2/lib/python3.10/site-packages:/gnu/store/bw3rk1560rshb45vvlj81si7y83ir95m-python-tomli-2.0.1/lib/python3.10/site-packages:/gnu/store/srz5pz9rr94ssxq31vl5z6gw193biclg-python-py-1.11.0/lib/python3.10/site-packages:/gnu/store/2vaamncwyqipnh1nivlch78yxm4spyal-python-pluggy-1.0.0/lib/python3.10/site-packages:/gnu/store/4nd8rfpwb30dqr08radblni9lvpgri54-python-packaging-bootstrap-21.3/lib/python3.10/site-packages:/gnu/store/mv4g87ssdp8hyiiizzp86knn1q71h5mj-python-iniconfig-1.1.1/lib/python3.10/site-packages:/gnu/store/vi3b48dh9qn8ilhgf4vyx3xy25y3vavi-python-attrs-bootstrap-21.2.0/lib/python3.10/site-packages:/gnu/store/lfwgvcrsv6pilgrx5jals0j2184v8iph-python-msgpack-1.0.4/lib/python3.10/site-packages:/gnu/store/jkyzjs9fnshmpg7xxy5sdbh2imvabbw3-python-greenlet-2.0.1/lib/python3.10/site-packages:/gnu/store/njf1imkprqricxlrvkcgbxsf9fid7266-python-six-bootstrap-1.16.0/lib/python3.10/site-packages:/gnu/store/yl06w9vz9jxgyq87lnjjzk54a6ifm0zl-python-pyparsing-3.0.6/lib/python3.10/site-packages' environment variable `PYTHONTZPATH' unset environment variable `BASH_LOADABLES_PATH' unset environment variable `C_INCLUDE_PATH' set to `/gnu/store/2ncymrx8d4n03yiwvc6128dxr3smhaq9-coq-for-coqtail-8.17.1/include:/gnu/store/xbpyxagwbj70r4sb76smb2yiin9nq1pv-python-minimal-3.10.7/include:/gnu/store/nbalv23p48cdwf9m651s4yagcacsay2l-bzip2-1.0.8/include:/gnu/store/q68rwxvi47zkw29r7ycg6a4jg2lpky1d-file-5.44/include:/gnu/store/vjw939r5cjccbmdcjxg34lbpqrcjpnwb-gawk-5.2.1/include:/gnu/store/qbhy2zzqzzfqbr7s59y513bxd1w22wzb-xz-5.2.8/include:/gnu/store/0mfya6ws3bk273wrwdgwlyv8j8cikkkg-make-4.3/include:/gnu/store/1b5sk5dgk5y3hzczd8bq1micm5c7d1vj-binutils-2.38/include:/gnu/store/9c54kwmmb31zzjxbcfi2z6070mqk73fy-gcc-11.3.0/include:/gnu/store/a19xbynxc3sg25xpkwmx7g0mdl7g31hx-glibc-2.35/include:/gnu/store/jkyzjs9fnshmpg7xxy5sdbh2imvabbw3-python-greenlet-2.0.1/include:/gnu/store/64svgy8g04741kvr5sq60mp568ygsqfi-linux-libre-headers-5.15.49/include' environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/2ncymrx8d4n03yiwvc6128dxr3smhaq9-coq-for-coqtail-8.17.1/include:/gnu/store/xbpyxagwbj70r4sb76smb2yiin9nq1pv-python-minimal-3.10.7/include:/gnu/store/nbalv23p48cdwf9m651s4yagcacsay2l-bzip2-1.0.8/include:/gnu/store/q68rwxvi47zkw29r7ycg6a4jg2lpky1d-file-5.44/include:/gnu/store/vjw939r5cjccbmdcjxg34lbpqrcjpnwb-gawk-5.2.1/include:/gnu/store/qbhy2zzqzzfqbr7s59y513bxd1w22wzb-xz-5.2.8/include:/gnu/store/0mfya6ws3bk273wrwdgwlyv8j8cikkkg-make-4.3/include:/gnu/store/1b5sk5dgk5y3hzczd8bq1micm5c7d1vj-binutils-2.38/include:/gnu/store/9c54kwmmb31zzjxbcfi2z6070mqk73fy-gcc-11.3.0/include/c++:/gnu/store/9c54kwmmb31zzjxbcfi2z6070mqk73fy-gcc-11.3.0/include:/gnu/store/a19xbynxc3sg25xpkwmx7g0mdl7g31hx-glibc-2.35/include:/gnu/store/jkyzjs9fnshmpg7xxy5sdbh2imvabbw3-python-greenlet-2.0.1/include:/gnu/store/64svgy8g04741kvr5sq60mp568ygsqfi-linux-libre-headers-5.15.49/include' environment variable `LIBRARY_PATH' set to `/gnu/store/29m85p7r7jg8p62l2abmx6baj1i0js1m-neovim-0.9.5/lib:/gnu/store/2ncymrx8d4n03yiwvc6128dxr3smhaq9-coq-for-coqtail-8.17.1/lib:/gnu/store/dc0ngmlgr5p3q3s78xdsn2kb94r0zypv-python-pytest-7.1.3/lib:/gnu/store/xbpyxagwbj70r4sb76smb2yiin9nq1pv-python-minimal-3.10.7/lib:/gnu/store/a47r53f0lrxi0045yzbimw4fyx4fk5r8-python-pynvim-0.4.2/lib:/gnu/store/nfc8k0l56ch0s3g7xc04a31p9jj4bsvb-coq-8.17.1/lib:/gnu/store/mk8h2mxylkxgjh7zs0ll9nhm6abcg3jy-coq-ide-server-8.17.1/lib:/gnu/store/nbalv23p48cdwf9m651s4yagcacsay2l-bzip2-1.0.8/lib:/gnu/store/q68rwxvi47zkw29r7ycg6a4jg2lpky1d-file-5.44/lib:/gnu/store/vjw939r5cjccbmdcjxg34lbpqrcjpnwb-gawk-5.2.1/lib:/gnu/store/qbhy2zzqzzfqbr7s59y513bxd1w22wzb-xz-5.2.8/lib:/gnu/store/1b5sk5dgk5y3hzczd8bq1micm5c7d1vj-binutils-2.38/lib:/gnu/store/a19xbynxc3sg25xpkwmx7g0mdl7g31hx-glibc-2.35/lib:/gnu/store/s2sl8i4m58xyl9d34lspx8d82nlxlz79-glibc-2.35-static/lib:/gnu/store/4yq91i7db97yvn7yw3gghlraacllzvrw-glibc-utf8-locales-2.35/lib:/gnu/store/bw3rk1560rshb45vvlj81si7y83ir95m-python-tomli-2.0.1/lib:/gnu/store/srz5pz9rr94ssxq31vl5z6gw193biclg-python-py-1.11.0/lib:/gnu/store/2vaamncwyqipnh1nivlch78yxm4spyal-python-pluggy-1.0.0/lib:/gnu/store/4nd8rfpwb30dqr08radblni9lvpgri54-python-packaging-bootstrap-21.3/lib:/gnu/store/mv4g87ssdp8hyiiizzp86knn1q71h5mj-python-iniconfig-1.1.1/lib:/gnu/store/vi3b48dh9qn8ilhgf4vyx3xy25y3vavi-python-attrs-bootstrap-21.2.0/lib:/gnu/store/lfwgvcrsv6pilgrx5jals0j2184v8iph-python-msgpack-1.0.4/lib:/gnu/store/jkyzjs9fnshmpg7xxy5sdbh2imvabbw3-python-greenlet-2.0.1/lib:/gnu/store/njf1imkprqricxlrvkcgbxsf9fid7266-python-six-bootstrap-1.16.0/lib:/gnu/store/yl06w9vz9jxgyq87lnjjzk54a6ifm0zl-python-pyparsing-3.0.6/lib' environment variable `GUIX_LOCPATH' set to `/gnu/store/4yq91i7db97yvn7yw3gghlraacllzvrw-glibc-utf8-locales-2.35/lib/locale' phase `set-paths' succeeded after 0.0 seconds starting phase `install-locale' using 'en_US.utf8' locale for category "LC_ALL" phase `install-locale' succeeded after 0.0 seconds starting phase `unpack' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/.pylintrc' -> `./.pylintrc' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/setup.cfg' -> `./setup.cfg' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/README.md' -> `./README.md' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/CHANGELOG.md' -> `./CHANGELOG.md' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/.gitignore' -> `./.gitignore' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/LICENSE' -> `./LICENSE' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/tox.ini' -> `./tox.ini' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/ftdetect/coq.vim' -> `./ftdetect/coq.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/ftplugin/coq.vim' -> `./ftplugin/coq.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/autoload/coqtail.vim' -> `./autoload/coqtail.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/autoload/coqtail/channel.vim' -> `./autoload/coqtail/channel.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/autoload/coqtail/panels.vim' -> `./autoload/coqtail/panels.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/autoload/coqtail/version.vim' -> `./autoload/coqtail/version.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/autoload/coqtail/coqproject.vim' -> `./autoload/coqtail/coqproject.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/autoload/coqtail/compat.vim' -> `./autoload/coqtail/compat.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/autoload/coqtail/util.vim' -> `./autoload/coqtail/util.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/python/xmlInterface.py' -> `./python/xmlInterface.py' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/python/coqtail.py' -> `./python/coqtail.py' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/python/coqtop.py' -> `./python/coqtop.py' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/indent/coq.vim' -> `./indent/coq.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/.github/workflows/lint.yml' -> `./.github/workflows/lint.yml' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/.github/workflows/python-tests.yml' -> `./.github/workflows/python-tests.yml' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/.github/workflows/vim-tests.yml' -> `./.github/workflows/vim-tests.yml' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/.github/workflows/coq-tests.yml' -> `./.github/workflows/coq-tests.yml' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/ci/vim.nix' -> `./ci/vim.nix' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/ci/coq.nix' -> `./ci/coq.nix' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/syntax/coq-goals.vim' -> `./syntax/coq-goals.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/syntax/coq-infos.vim' -> `./syntax/coq-infos.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/syntax/coq.vim' -> `./syntax/coq.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/doc/coqtail.txt' -> `./doc/coqtail.txt' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/tests/coq/test_coqtop.py' -> `./tests/coq/test_coqtop.py' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/tests/vim/coq_project.vader' -> `./tests/vim/coq_project.vader' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/tests/vim/version.vader' -> `./tests/vim/version.vader' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/tests/vim/comments.vader' -> `./tests/vim/comments.vader' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/tests/vim/indent.vader' -> `./tests/vim/indent.vader' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/tests/vim/run.sh' -> `./tests/vim/run.sh' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/tests/vim/vimrc' -> `./tests/vim/vimrc' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/tests/unit/test_xmlInterface.py' -> `./tests/unit/test_xmlInterface.py' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/tests/unit/test_version.py' -> `./tests/unit/test_version.py' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/tests/unit/test_matcher.py' -> `./tests/unit/test_matcher.py' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/tests/unit/test_parse.py' -> `./tests/unit/test_parse.py' phase `unpack' succeeded after 0.0 seconds starting phase `patch-usr-bin-file' phase `patch-usr-bin-file' succeeded after 0.0 seconds starting phase `patch-source-shebangs' patch-shebang: ./tests/vim/run.sh: changing `/bin/sh' to `/gnu/store/id0knspwhrd51wrg2nbx2pw3ajz36ngg-bash-minimal-5.1.16/bin/sh' phase `patch-source-shebangs' succeeded after 0.0 seconds starting phase `patch-generated-file-shebangs' phase `patch-generated-file-shebangs' succeeded after 0.0 seconds starting phase `check' Running Python unit tests. ........................................................................ [ 11%] .............................................ss......................... [ 22%] ........................................................................ [ 34%] ........................................................................ [ 45%] ........................................................................ [ 57%] ........................................................................ [ 68%] ..................s...............................s..................... [ 80%] ........sss...............................s............................. [ 91%] ..................................................... [100%] 621 passed, 8 skipped in 2.39s Running Python Coq tests. ................... [100%] 19 passed in 9.82s Running Vim unit tests. NVIM v0.9.5 Build type: RelWithDebInfo LuaJIT 2.1.0-beta3 Compilation: /gnu/store/.../bin/gcc -O2 -g -Og -g -Wall -Wextra -pedantic -Wno-unused-parameter -Wstrict-prototypes -std=gnu99 -Wshadow -Wconversion -Wvla -Wdouble-promotion -Wmissing-noreturn -Wmissing-format-attribute -Wmissing-prototypes -fno-common -Wno-unused-result -Wimplicit-fallthrough -fdiagnostics-color=auto -fstack-protector-strong -DUNIT_TESTING -DINCLUDE_GENERATED_DECLARATIONS -D_GNU_SOURCE -I/gnu/store/pc2ywkdxvzyg3lcy2kf74z3jk4bl3waw-luajit-2.1.0-beta3-0.6c4826f/include/luajit-2.1 -I/gnu/store/a19xbynxc3sg25xpkwmx7g0mdl7g31hx-glibc-2.35/include -I/gnu/store/w140673fbls7wdmmkrrz7laasn255z0s-lua5.1-luv-1.43.0-0/include -I/tmp/guix-build-neovim-0.9.5.drv-0/build/src/nvim/auto -I/tmp/guix-build-neovim-0.9.5.drv-0/build/include -I/tmp/guix-build-neovim-0.9.5.drv-0/build/cmake.config -I/tmp/guix-build-neovim-0.9.5.drv-0/source/src -I/gnu/store/a19xbynxc3sg25xpkwmx7g0mdl7g31hx-glibc-2.35/include -I/gnu/store/gw7jgq2rm7mcyxf99bl3pq0vfia999hp-libtermkey-0.22/include -I/gnu/store/9rh8zxr82lgqszahmi7kwb5n9xsv85qb-libvterm-0.3.3/include -I/gnu/store/nvs5zkjpspbnshhjc0nf1bnqvcb0lsga-msgpack-6.0.0/include -I/gnu/store/16k75cff83rk6gf2zd9hx11szw03qn4m-tree-sitter-0.20.10/include -I/gnu/store/d466hzppm9z5sy29vbz28gdzkcr4jfxq-unibilium-2.0.0/include -I/gnu/store/1z4rdhsbzpja7mm5mfqm63f5p1d8s77p-libuv-1.43.0/include system vimrc file: "$VIM/sysinit.vim" fall-back for $VIM: " /gnu/store/29m85p7r7jg8p62l2abmx6baj1i0js1m-neovim-0.9.5/share/nvim" Run :checkhealth for more info Starting Vader: 4 suite(s), 107 case(s) Starting Vader: /tmp/guix-build-neovim-coqtail-1.7.1-1.d77080e.drv-0/source/tests/vim/comments.vader (1/2) [ GIVEN] join-comment (1/2) [ DO] join-comment (1/2) [ EXPECT] join-comment (2/2) [ GIVEN] format-long-comment (2/2) [ DO] format-long-comment 3 more lines (2/2) [ EXPECT] format-long-comment Success/Total: 2/2 Starting Vader: /tmp/guix-build-neovim-coqtail-1.7.1-1.d77080e.drv-0/source/tests/vim/coq_project.vader ( 1/23) [EXECUTE] dot ( 2/23) [EXECUTE] absolute-cwd ( 3/23) [EXECUTE] relative-subdir ( 4/23) [EXECUTE] relative-dot-subdir ( 5/23) [EXECUTE] absolute-subdir ( 6/23) [EXECUTE] sibling-dir ( 7/23) [EXECUTE] split-line ( 8/23) [EXECUTE] multi-option-diff-lines ( 9/23) [EXECUTE] multi-option-same-line (10/23) [EXECUTE] extra-whitespace (11/23) [EXECUTE] alternate-R (12/23) [EXECUTE] I (13/23) [EXECUTE] alternate-I (14/23) [EXECUTE] expand-space (15/23) [EXECUTE] quote-space (16/23) [EXECUTE] quote-strip (17/23) [EXECUTE] quote-empty (18/23) [EXECUTE] arg (19/23) [EXECUTE] double-quote-arg (20/23) [EXECUTE] single-quote-in-double-quote-arg (21/23) [EXECUTE] single-quote-not-in-double-quote-arg (22/23) [EXECUTE] ignore-files (23/23) [EXECUTE] ignore-comments Success/Total: 23/23 Starting Vader: /tmp/guix-build-neovim-coqtail-1.7.1-1.d77080e.drv-0/source/tests/vim/indent.vader ( 1/56) [ GIVEN] inductive ( 1/56) [ DO] indent-inductive 4 lines to indent... 5 lines indented ( 1/56) [ EXPECT] indented-inductive ( 2/56) [ GIVEN] inductive-addline ( 2/56) [ DO] indent-inductive-addline ( 2/56) [ EXPECT] indented-inductive-addline ( 3/56) [ GIVEN] coinductive ( 3/56) [ DO] indent-coinductive 4 lines to indent... 5 lines indented ( 3/56) [ EXPECT] indented-coinductive ( 4/56) [ GIVEN] variant ( 4/56) [ DO] indent-variant 4 lines to indent... 5 lines indented ( 4/56) [ EXPECT] indented-variant ( 5/56) [ GIVEN] inductive-shift ( 5/56) [EXECUTE] indent-inductive-shift-option-pre ( 6/56) [ GIVEN] inductive-shift ( 6/56) [ DO] indent-inductive-shift 4 lines to indent... 5 lines indented ( 6/56) [ EXPECT] indented-inductive-shift ( 7/56) [ GIVEN] inductive-shift ( 7/56) [EXECUTE] indent-inductive-shift-option-post ( 8/56) [ GIVEN] match ( 8/56) [ DO] indent-match 5 lines to indent... 6 lines indented ( 8/56) [ EXPECT] indented-match ( 9/56) [ GIVEN] match-nested ( 9/56) [ DO] indent-match-nested 14 lines to indent... 15 lines indented ( 9/56) [ EXPECT] indented-match-nested (10/56) [ GIVEN] match-consecutive (10/56) [ DO] indent-match-consecutive (10/56) [ EXPECT] indented-match-consecutive (11/56) [ GIVEN] match-not-first (11/56) [ DO] indent-match-not-first 3 lines to indent... 4 lines indented (11/56) [ EXPECT] indented-match-not-first (12/56) [ GIVEN] ltac-match (12/56) [ DO] indent-ltac-match 6 lines to indent... 7 lines indented (12/56) [ EXPECT] indented-ltac-match (13/56) [ GIVEN] match-in-inductive (13/56) [ DO] indent-match-in-inductive 7 lines to indent... 8 lines indented (13/56) [ EXPECT] indented-match-in-inductive (14/56) [ GIVEN] match-shift (14/56) [EXECUTE] indent-match-shift-option-pre (15/56) [ GIVEN] match-shift (15/56) [ DO] indent-match-shift 14 lines to indent... 15 lines indented (15/56) [ EXPECT] indented-match-shift (16/56) [ GIVEN] match-shift (16/56) [EXECUTE] indent-match-shift-option-post (17/56) [ GIVEN] ignore-double-pipe (17/56) [ DO] indent-ignore-double-pipe 4 lines to indent... 5 lines indented (17/56) [ EXPECT] indented-ignore-double-pipe (18/56) [ GIVEN] no-indent-after-end (18/56) [ DO] indent-no-indent-after-end 12 lines to indent... 13 lines indented (18/56) [ EXPECT] indented-no-indent-after-end (19/56) [ GIVEN] proof-body (19/56) [ DO] indent-proof-body 3 lines to indent... 4 lines indented (19/56) [ EXPECT] indented-proof-body (20/56) [ GIVEN] proof-using-body (20/56) [ DO] indent-proof-using-body 3 lines to indent... 4 lines indented (20/56) [ EXPECT] indented-proof-using-body (21/56) [ GIVEN] obligation-body (21/56) [ DO] indent-obligation-body 12 lines to indent... 13 lines indented (21/56) [ EXPECT] indented-obligation-body (22/56) [ GIVEN] proof-body-empty (22/56) [ DO] indent-proof-body-empty 2 lines to indent... 3 lines indented (22/56) [ EXPECT] indented-proof-body-empty (23/56) [ GIVEN] obligation-body-empty (23/56) [ DO] indent-obligation-body-empty 8 lines to indent... 9 lines indented (23/56) [ EXPECT] indented-obligation-body-empty (24/56) [ GIVEN] obligation-fail (24/56) [ DO] indent-obligation-fail 2 lines to indent... 3 lines indented (24/56) [ EXPECT] indented-obligation-fail (25/56) [ GIVEN] proof-one-line (25/56) [ DO] indent-proof-one-line 3 lines to indent... 4 lines indented (25/56) [ EXPECT] indented-proof-one-line (26/56) [ GIVEN] sections (26/56) [ DO] indent-sections 10 lines to indent... 11 lines indented (26/56) [ EXPECT] indented-sections (27/56) [ GIVEN] empty-sections (27/56) [ DO] indent-empty-sections 4 lines to indent... 5 lines indented (27/56) [ EXPECT] indented-empty-sections (28/56) [ GIVEN] modules (28/56) [ DO] indent-modules 10 lines to indent... 11 lines indented (28/56) [ EXPECT] indented-modules (29/56) [ GIVEN] empty-modules (29/56) [ DO] indent-empty-modules 4 lines to indent... 5 lines indented (29/56) [ EXPECT] indented-empty-modules (30/56) [ GIVEN] one-line-modules (30/56) [ DO] indent-one-line-modules 4 lines to indent... 5 lines indented (30/56) [ EXPECT] indented-one-line-modules (31/56) [ GIVEN] record-same-line (31/56) [ DO] indent-record-same-line 3 lines to indent... 4 lines indented (31/56) [ EXPECT] indented-record-same-line (32/56) [ GIVEN] record-new-line (32/56) [ DO] indent-record-new-line 4 lines to indent... 5 lines indented (32/56) [ EXPECT] indented-record-new-line (33/56) [ GIVEN] record-constructor-same-line (33/56) [ DO] indent-record-constructor-same-line 3 lines to indent... 4 lines indented (33/56) [ EXPECT] indented-record-constructor-same-line (34/56) [ GIVEN] record-constructor-new-line (34/56) [ DO] indent-record-constructor-new-line 4 lines to indent... 5 lines indented (34/56) [ EXPECT] indented-record-constructor-new-line (35/56) [ GIVEN] record-constructor-nested (35/56) [ DO] indent-record-constructor-nested 8 lines to indent... 9 lines indented (35/56) [ EXPECT] indented-record-constructor-nested (36/56) [ GIVEN] comments (36/56) [ DO] indent-comments 24 lines to indent... 25 lines indented (36/56) [ EXPECT] indented-comments (37/56) [ GIVEN] comments (37/56) [EXECUTE] set-no-indent-comment (38/56) [ GIVEN] no-indent-comments (38/56) [ DO] indent-no-indent-comments 24 lines to indent... 25 lines indented (38/56) [ EXPECT] indented-no-indent-comments (39/56) [ GIVEN] no-indent-comments (39/56) [EXECUTE] unset-no-indent-comment (40/56) [ GIVEN] single-bullets (40/56) [ DO] indent-single-bullets 11 lines to indent... 12 lines indented (40/56) [ EXPECT] indented-single-bullets (41/56) [ GIVEN] double-bullets (41/56) [ DO] indent-double-bullets 11 lines to indent... 12 lines indented (41/56) [ EXPECT] indented-double-bullets (42/56) [ GIVEN] bullets-brackets (42/56) [ DO] indent-bullets-brackets 16 lines to indent... 17 lines indented (42/56) [ EXPECT] indented-bullets-brackets (43/56) [ GIVEN] bullets-brackets2 (43/56) [ DO] indent-bullets-brackets2 21 lines to indent... 22 lines indented (43/56) [ EXPECT] indented-bullets2 (44/56) [ GIVEN] bullets-brackets-nested (44/56) [ DO] indent-bullets-brackets-nested 19 lines to indent... 20 lines indented (44/56) [ EXPECT] indented-bullets-brackets-nested (45/56) [ GIVEN] bullet-different-order (45/56) [ DO] indent-bullet-different-order 8 lines to indent... 9 lines indented (45/56) [ EXPECT] indented-bullet-different-order (46/56) [ GIVEN] bracket-close-end-of-line (46/56) [ DO] indent-bracket-close-end-of-line 6 lines to indent... 7 lines indented (46/56) [ EXPECT] indented-bracket-close-end-of-line (47/56) [ GIVEN] bracket-close-end-of-line-nested (47/56) [ DO] indent-bracket-close-end-of-line-nested 7 lines to indent... 8 lines indented (47/56) [ EXPECT] indented-bracket-close-end-of-line-nested (48/56) [ GIVEN] bullets-bracket-close-end-of-line-nested (48/56) [ DO] indent-bullets-bracket-close-end-of-line-nested 10 lines to indent... 11 lines indented (48/56) [ EXPECT] indented-bullets-bracket-close-end-of-line-nested (49/56) [ GIVEN] commented-bracket-open (49/56) [ DO] indent-commented-bracket-open 5 lines to indent... 6 lines indented (49/56) [ EXPECT] indented-commented-bracket-open (50/56) [ GIVEN] commented-bracket-close (50/56) [ DO] indent-commented-bracket-close 5 lines to indent... 6 lines indented (50/56) [ EXPECT] indented-commented-bracket-close (51/56) [ GIVEN] commented-bracket-match (51/56) [ DO] indent-commented-bracket-match 6 lines to indent... 7 lines indented (51/56) [ EXPECT] indented-commented-bracket-match (52/56) [ GIVEN] match-bullet (52/56) [ DO] indent-match-bullet (52/56) [ EXPECT] indented-match-bullet (53/56) [ GIVEN] indentkey-bullet (53/56) [ DO] indent-indentkey-bullet (53/56) [ EXPECT] indented-indentkey-bullet (54/56) [ GIVEN] empty-line-in-proof (54/56) [ DO] indent-empty-line-in-proof 9 lines to indent... 10 lines indented (54/56) [ EXPECT] indented-empty-line-in-proof (55/56) [ GIVEN] empty-line-between-definitions (55/56) [ DO] indent-empty-line-between-definitions 5 lines to indent... 6 lines indented (55/56) [ EXPECT] indented-line-between-definitions (56/56) [ GIVEN] trailing-whitespace-vernac (56/56) [ DO] indent-trailing-whitespace-vernac (56/56) [ EXPECT] indented-trailing-whitespace-vernac Success/Total: 56/56 Starting Vader: /tmp/guix-build-neovim-coqtail-1.7.1-1.d77080e.drv-0/source/tests/vim/version.vader ( 1/26) [EXECUTE] match-exact ( 2/26) [EXECUTE] match-exact-pl ( 3/26) [EXECUTE] match-exact-short ( 4/26) [EXECUTE] match-exact-alpha ( 5/26) [EXECUTE] match-star-last ( 6/26) [EXECUTE] match-star-mid ( 7/26) [EXECUTE] not-match-exact ( 8/26) [EXECUTE] not-match-exact-pl ( 9/26) [EXECUTE] not-match-exact-short (10/26) [EXECUTE] not-match-exact-alpha (11/26) [EXECUTE] not-match-star-last (12/26) [EXECUTE] not-match-star-mid (13/26) [EXECUTE] atleast-exact-equal (14/26) [EXECUTE] atleast-exact-gt-last (15/26) [EXECUTE] atleast-exact-gt-mid (16/26) [EXECUTE] atleast-exact-gt-first (17/26) [EXECUTE] atleast-exact-gt-pl (18/26) [EXECUTE] atleast-star-last (19/26) [EXECUTE] atleast-star-mid (20/26) [EXECUTE] atleast-star-short (21/26) [EXECUTE] atleast-star-alpha (22/26) [EXECUTE] not-atleast-exact-lt-last (23/26) [EXECUTE] not-atleast-exact-lt-mid (24/26) [EXECUTE] not-atleast-exact-lt-first (25/26) [EXECUTE] not-atleast-exact-lt-pl (26/26) [EXECUTE] not-atleast-star-alpha Success/Total: 26/26 Success/Total: 107/107 (assertions: 49/49) Elapsed time: 3.56 sec. phase `check' succeeded after 17.3 seconds starting phase `install' `./autoload/coqtail.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail.vim' `./autoload/coqtail/channel.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail/channel.vim' `./autoload/coqtail/compat.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail/compat.vim' `./autoload/coqtail/coqproject.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail/coqproject.vim' `./autoload/coqtail/panels.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail/panels.vim' `./autoload/coqtail/util.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail/util.vim' `./autoload/coqtail/version.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail/version.vim' `./ci/coq.nix' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./ci/coq.nix' `./ci/vim.nix' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./ci/vim.nix' `./doc/coqtail.txt' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./doc/coqtail.txt' `./ftdetect/coq.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./ftdetect/coq.vim' `./ftplugin/coq.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./ftplugin/coq.vim' `./indent/coq.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./indent/coq.vim' `./python/coqtail.py' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./python/coqtail.py' `./python/coqtop.py' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./python/coqtop.py' `./python/xmlInterface.py' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./python/xmlInterface.py' `./syntax/coq-goals.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./syntax/coq-goals.vim' `./syntax/coq-infos.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./syntax/coq-infos.vim' `./syntax/coq.vim' -> `/gnu/store/csmsmwn6wvskf5pvpnc7ghc3crz1zhxc-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./syntax/coq.vim' phase `install' succeeded after 0.0 seconds starting phase `generate-helptags' phase `generate-helptags' succeeded after 0.0 seconds starting phase `patch-shebangs' phase `patch-shebangs' succeeded after 0.0 seconds starting phase `strip' phase `strip' succeeded after 0.0 seconds starting phase `validate-runpath' phase `validate-runpath' succeeded after 0.0 seconds starting phase `validate-documentation-location' phase `validate-documentation-location' succeeded after 0.0 seconds starting phase `delete-info-dir-file' phase `delete-info-dir-file' succeeded after 0.0 seconds starting phase `patch-dot-desktop-files' phase `patch-dot-desktop-files' succeeded after 0.0 seconds starting phase `make-dynamic-linker-cache' phase `make-dynamic-linker-cache' succeeded after 0.0 seconds starting phase `install-license-files' failed to find license files phase `install-license-files' succeeded after 0.0 seconds starting phase `reset-gzip-timestamps' phase `reset-gzip-timestamps' succeeded after 0.0 seconds starting phase `compress-documentation' phase `compress-documentation' succeeded after 0.0 seconds