ALT Linux Bugzilla – Full Text Bug Listing
| Summary: | При нажатии кнопки Break в меню Debug падает coqidetop | ||||||
|---|---|---|---|---|---|---|---|
| Product: | Sisyphus | Reporter: | Mikhail D Hoteev <hoteevmd> | ||||
| Component: | coq-coqide | Assignee: | Leonid Znamenok <respublica> | ||||
| Status: | CLOSED FIXED | QA Contact: | qa-sisyphus | ||||
| Severity: | normal | ||||||
| Priority: | P5 | CC: | respublica, rider | ||||
| Version: | unstable | ||||||
| Hardware: | x86_64 | ||||||
| OS: | Linux | ||||||
| Attachments: |
|
||||||
Шаги воспроизведения: 1) Открыть CoqIDE: $ coqide или через меню приложений: Разработка -> CoqIDE 2) Открыть дроп-меню Debug и нажать Break Реальный результат: Выводится ошибка coqidetop died. Ожидаемый результат: Операция выполняется корректно. rocq-9.2.0-alt1 -> sisyphus: * Fri Apr 10 2026 Leonid Znamenok <respublica@altlinux> 9.2.0-alt1 - New Version 9.2.0. - Renamed coq -> rocq. - (Closes: 58676, 58680). |
Created attachment 21117 [details] видео демонстрации ошибки Версия пакета: coq-coqide-8.20.1-alt1.x86_64 Стенды, на которых производилось тестирование (обновлены до Sisyphus): Alt Education 11.1 KDE/XFCE Alt KWorkstation 11.2 Alt Workstation 11.1 Описание: При нажатии на кнопку Break в выпадающем меню Debug выводится сообщение следующего вида: <имя_файла>: coqidetop died. Сообщение появляется в отдельном окне с возможностью выбрать три варианта: Reset, Save all and quit, Quit without saving. При выборе Reset приложение продолжает свою работу до следующего нажатия кнопки Break. При выборе других вариантов программа корректно выполняет действия в соответствии с функциями кнопок. При запуске из терминала в момент ошибки никаких дополнительных данных не выводится, journalctl и dmesg также не показали никаких отклонений. Прикладываю запись с демонстрацией ошибки.