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/0bka58bymqjw00rpvlp46n873061fsm0-neovim-0.9.5/bin:/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/bin:/gnu/store/pyxp4c14czdr40ddz50vq56w25cn1a3d-python-pytest-7.1.3/bin:/gnu/store/w37k7zf1qw236arck9va3jm7bhn4ib4c-python-minimal-3.10.7/bin:/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/bin:/gnu/store/gv9blxmq1awm7lchcj6d7ydxxay38sc0-coq-ide-server-8.17.1/bin:/gnu/store/ns71xxkb3fzr37934bim9l8xiv68kc7w-tar-1.34/bin:/gnu/store/qg9gwla5sgvxf8hc623wp0738klhvh3c-gzip-1.12/bin:/gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/bin:/gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/bin:/gnu/store/wjgap1k3jafgk0qjnhkrjdvfly7b0wls-diffutils-3.8/bin:/gnu/store/yvdhyjiszsrhk3j3kxvn0rpi3m8dsa5z-patch-2.7.6/bin:/gnu/store/wx2003zzfcc04xs5xj77k3ppnm60r3gf-findutils-4.9.0/bin:/gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/bin:/gnu/store/22wcvbqpyyzbccywskskriw4wc9x934m-sed-4.8/bin:/gnu/store/8wbaxwbgagpr7br8mhm4jriq9r23bln4-grep-3.8/bin:/gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/bin:/gnu/store/skcwbg8v0w643w71j9zx25cq0a6dwirs-coreutils-9.1/bin:/gnu/store/3v8fyd0ikmwzmr4g3yxp2ylyqpha06kn-make-4.3/bin:/gnu/store/ldpzhbqzshcyf74hkvgqppzrrdy9r7kv-bash-minimal-5.1.16/bin:/gnu/store/r78m0mqhza5sdqp8mv9wn68xkqks206i-ld-wrapper-0/bin:/gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/bin:/gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/bin:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/bin:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/sbin:/gnu/store/ilpbmw0ayfag1l11y0d8j3hqkygbblm8-python-tomli-2.0.1/bin' environment variable `COQPATH' unset environment variable `GUIX_PYTHONPATH' set to `/gnu/store/pyxp4c14czdr40ddz50vq56w25cn1a3d-python-pytest-7.1.3/lib/python3.10/site-packages:/gnu/store/w37k7zf1qw236arck9va3jm7bhn4ib4c-python-minimal-3.10.7/lib/python3.10/site-packages:/gnu/store/gy3fgr1z30hq89gvc9v24k2crpb15qpk-python-pynvim-0.4.2/lib/python3.10/site-packages:/gnu/store/ilpbmw0ayfag1l11y0d8j3hqkygbblm8-python-tomli-2.0.1/lib/python3.10/site-packages:/gnu/store/bzqnqzky7843dzx5arm8wwxqigh7zs71-python-py-1.11.0/lib/python3.10/site-packages:/gnu/store/32v9brs779x7fgi1k686nidx7712nqzc-python-pluggy-1.0.0/lib/python3.10/site-packages:/gnu/store/zyiyr38s3vmgns1zc1cq4qmq79yi6r2d-python-packaging-bootstrap-21.3/lib/python3.10/site-packages:/gnu/store/q5drqj7b4c0jb11rag2jijdwf5vlklqj-python-iniconfig-1.1.1/lib/python3.10/site-packages:/gnu/store/xa80g7c87ciamic0ca1pg241nlxhj5ld-python-attrs-bootstrap-21.2.0/lib/python3.10/site-packages:/gnu/store/s18lwz0acyxdjj87hr6ywnlabhjrii33-python-msgpack-1.0.4/lib/python3.10/site-packages:/gnu/store/zyvxjcpsi7hxmfz3qq5xb4yw9hiy3dp4-python-greenlet-2.0.1/lib/python3.10/site-packages:/gnu/store/fknar30511iv4w8lrcl05k0jz2pwvkd6-python-six-bootstrap-1.16.0/lib/python3.10/site-packages:/gnu/store/i1rgkpbq0cb03kmg6cr754096wsvrw22-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/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/include:/gnu/store/w37k7zf1qw236arck9va3jm7bhn4ib4c-python-minimal-3.10.7/include:/gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/include:/gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/include:/gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/include:/gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/include:/gnu/store/3v8fyd0ikmwzmr4g3yxp2ylyqpha06kn-make-4.3/include:/gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/include:/gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/include:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/include:/gnu/store/zyvxjcpsi7hxmfz3qq5xb4yw9hiy3dp4-python-greenlet-2.0.1/include:/gnu/store/6cm8c3968v9nn2f7j3ap67hyxy853p6d-linux-libre-headers-5.15.49/include' environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/include:/gnu/store/w37k7zf1qw236arck9va3jm7bhn4ib4c-python-minimal-3.10.7/include:/gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/include:/gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/include:/gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/include:/gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/include:/gnu/store/3v8fyd0ikmwzmr4g3yxp2ylyqpha06kn-make-4.3/include:/gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/include:/gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/include/c++:/gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/include:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/include:/gnu/store/zyvxjcpsi7hxmfz3qq5xb4yw9hiy3dp4-python-greenlet-2.0.1/include:/gnu/store/6cm8c3968v9nn2f7j3ap67hyxy853p6d-linux-libre-headers-5.15.49/include' environment variable `LIBRARY_PATH' set to `/gnu/store/0bka58bymqjw00rpvlp46n873061fsm0-neovim-0.9.5/lib:/gnu/store/g3xljzc462ns07vslvxgfkpxijda2860-coq-for-coqtail-8.17.1/lib:/gnu/store/pyxp4c14czdr40ddz50vq56w25cn1a3d-python-pytest-7.1.3/lib:/gnu/store/w37k7zf1qw236arck9va3jm7bhn4ib4c-python-minimal-3.10.7/lib:/gnu/store/gy3fgr1z30hq89gvc9v24k2crpb15qpk-python-pynvim-0.4.2/lib:/gnu/store/1jxaa6l1gzrkif26z27gylyp3ahwykxf-coq-8.17.1/lib:/gnu/store/gv9blxmq1awm7lchcj6d7ydxxay38sc0-coq-ide-server-8.17.1/lib:/gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/lib:/gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/lib:/gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/lib:/gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/lib:/gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/lib:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/lib:/gnu/store/d6zg5vlbby1rnvs390y4nvpqipv4hjd4-glibc-2.35-static/lib:/gnu/store/37mccb3vgrmm72lkmnrms2sp0n7qw3d8-glibc-utf8-locales-2.35/lib:/gnu/store/ilpbmw0ayfag1l11y0d8j3hqkygbblm8-python-tomli-2.0.1/lib:/gnu/store/bzqnqzky7843dzx5arm8wwxqigh7zs71-python-py-1.11.0/lib:/gnu/store/32v9brs779x7fgi1k686nidx7712nqzc-python-pluggy-1.0.0/lib:/gnu/store/zyiyr38s3vmgns1zc1cq4qmq79yi6r2d-python-packaging-bootstrap-21.3/lib:/gnu/store/q5drqj7b4c0jb11rag2jijdwf5vlklqj-python-iniconfig-1.1.1/lib:/gnu/store/xa80g7c87ciamic0ca1pg241nlxhj5ld-python-attrs-bootstrap-21.2.0/lib:/gnu/store/s18lwz0acyxdjj87hr6ywnlabhjrii33-python-msgpack-1.0.4/lib:/gnu/store/zyvxjcpsi7hxmfz3qq5xb4yw9hiy3dp4-python-greenlet-2.0.1/lib:/gnu/store/fknar30511iv4w8lrcl05k0jz2pwvkd6-python-six-bootstrap-1.16.0/lib:/gnu/store/i1rgkpbq0cb03kmg6cr754096wsvrw22-python-pyparsing-3.0.6/lib' environment variable `GUIX_LOCPATH' set to `/gnu/store/37mccb3vgrmm72lkmnrms2sp0n7qw3d8-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/setup.cfg' -> `./setup.cfg' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/.gitignore' -> `./.gitignore' `/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/CHANGELOG.md' -> `./CHANGELOG.md' `/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/.pylintrc' -> `./.pylintrc' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/LICENSE' -> `./LICENSE' `/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/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/ftplugin/coq.vim' -> `./ftplugin/coq.vim' `/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/python-tests.yml' -> `./.github/workflows/python-tests.yml' `/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/coq-tests.yml' -> `./.github/workflows/coq-tests.yml' `/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.vim' -> `./syntax/coq.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/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/autoload/coqtail.vim' -> `./autoload/coqtail.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/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/channel.vim' -> `./autoload/coqtail/channel.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/util.vim' -> `./autoload/coqtail/util.vim' `/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_xmlInterface.py' -> `./tests/unit/test_xmlInterface.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' `/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/version.vader' -> `./tests/vim/version.vader' `/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/vimrc' -> `./tests/vim/vimrc' `/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/run.sh' -> `./tests/vim/run.sh' `/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/indent/coq.vim' -> `./indent/coq.vim' `/gnu/store/26g1vq1sm2qkjqv3m7pwidibnklc5ngi-vim-coqtail-1.7.1-1.d77080e-checkout/doc/coqtail.txt' -> `./doc/coqtail.txt' 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/ldpzhbqzshcyf74hkvgqppzrrdy9r7kv-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 0.58s Running Python Coq tests. ................... [100%] 19 passed in 2.68s 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/f9d3i0n4cf58xr4nfqfng6wlfdm7lzl7-luajit-2.1.0-beta3-0.6c4826f/include/luajit-2.1 -I/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/include -I/gnu/store/d98hldnqjiwg7qdskf0wds3nf05zwm94-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/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/include -I/gnu/store/9w849fq6969mql905vfgdqxgvnb60gnx-libtermkey-0.22/include -I/gnu/store/l4j773wlqsy6lzylrv3jv6ar497iy70p-libvterm-0.3.3/include -I/gnu/store/gacyj7vzmdrpnqf8ry4597k1q6bywd2n-msgpack-6.0.0/include -I/gnu/store/6h7f7gpqd8hragcm1wn9zgl3izgrvdpk-tree-sitter-0.20.10/include -I/gnu/store/k8gr2hb9wrhsvxzc1smwy6d4gf978i8g-unibilium-2.0.0/include -I/gnu/store/ga4i4n9gmivlamnv66v34khll2svsa6a-libuv-1.43.0/include system vimrc file: "$VIM/sysinit.vim" fall-back for $VIM: " /gnu/store/0bka58bymqjw00rpvlp46n873061fsm0-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: 0.78 sec. phase `check' succeeded after 4.4 seconds starting phase `install' `./autoload/coqtail.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail.vim' `./autoload/coqtail/channel.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail/channel.vim' `./autoload/coqtail/compat.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail/compat.vim' `./autoload/coqtail/coqproject.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail/coqproject.vim' `./autoload/coqtail/panels.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail/panels.vim' `./autoload/coqtail/util.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail/util.vim' `./autoload/coqtail/version.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./autoload/coqtail/version.vim' `./ci/coq.nix' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./ci/coq.nix' `./ci/vim.nix' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./ci/vim.nix' `./doc/coqtail.txt' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./doc/coqtail.txt' `./ftdetect/coq.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./ftdetect/coq.vim' `./ftplugin/coq.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./ftplugin/coq.vim' `./indent/coq.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./indent/coq.vim' `./python/coqtail.py' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./python/coqtail.py' `./python/coqtop.py' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./python/coqtop.py' `./python/xmlInterface.py' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./python/xmlInterface.py' `./syntax/coq-goals.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./syntax/coq-goals.vim' `./syntax/coq-infos.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-neovim-coqtail-1.7.1-1.d77080e//share/nvim/site/pack/guix/start/coqtail//./syntax/coq-infos.vim' `./syntax/coq.vim' -> `/gnu/store/vyixka9bbc7bhc22n1w43j6axpc4ki1z-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