2017-08-30 5:21 GMT+09:00 Manuel Ortega <mannyvim...@gmail.com>: > I've run it a few more times, and strangely, the error emitted to the > terminal during the `make test_terminal` changes: > Executed 18 tests > 1 FAILED: > Found errors in Test_terminal_scrape_123(): > function RunTheTest[24]..Test_terminal_scrape_123[16]..Check_123 line 7: > Expected '1' but got '' > function RunTheTest[24]..Test_terminal_scrape_123[16]..Check_123 line 8: > Expected '2' but got '' > function RunTheTest[24]..Test_terminal_scrape_123[16]..Check_123 line 9: > Expected '3' but got '' > function RunTheTest[24]..Test_terminal_scrape_123[16]..Check_123 line 10: > Expected '#00e000' but got '#f0f0f0' > function RunTheTest[24]..Test_terminal_scrape_123[16]..Check_123 line 24: > Expected '123' but got '' >
Apart from the failure of Test_terminal_noblock(), I've occasionally got it since Test_terminal_scrape() was introduced. But if I run 'make test' again after it takes place, the whole test passes as if there were no such errors. So I personally put it under observation, thinking it sort of flaky. If the errors happen persistently to you, that's might be something you need to report here. > -- > -- > You received this message from the "vim_dev" maillist. > Do not top-post! Type your reply below the text you are replying to. > For more information, visit http://www.vim.org/maillist.php > > --- > You received this message because you are subscribed to the Google Groups > "vim_dev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to vim_dev+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to vim_dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
