Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
7936 Klever Bug New High Kernel model for dev_set_drvdata is absent or impresize Vadim Mutilin Evgeny Novikov Actions
7933 Klever Feature New High Recheck presence of verifier directory Evgeny Novikov Actions
7930 Klever Feature Feedback High Propose to show all actions of scenarios if it contains at least one note in error trace Ilja Zakharov Actions
7928 Klever Bug New High Rule linux:block:genhd forbids double allocation Ilja Zakharov Actions
7922 Klever Bug New Normal Problem with kernel config in linux:bitops (old 129_1a) rule Vitaly Mordan Actions
7916 Requality Bug New Normal С помощью переиспользования у требования могут быть одновременно ребенок-требование и ребенок-тестовая ситуация. Viktoria Kopach Actions
7915 Klever Feature New Normal Report that entities supplied by users have incorrect formats Evgeny Novikov Vladimir Gratinskiy Actions
7913 Klever Feature New Normal Urb completion callbacks specification required Alexey Khoroshilov Actions
7911 Klever Feature New High Add test cases for linux:kernel:locking:* rule specifications when CONFIG_LOCKDEP is unset Evgeny Novikov Actions
7909 Klever Feature Open High Add model for macro IDR_INIT (rule specification linux:lib:idr) Evgeny Novikov Actions
7889 Requality Bug New Normal По клику на требовании в редакторе выделяется второй по порядку фрагмент Viktoria Kopach Actions
7888 Requality Bug New Normal После Undo удаления фрагмента этот фрагмент не отображается в Outline Viktoria Kopach Actions
7887 Requality Bug New Normal Открытый редактор документа не закрывается после удаления документа Viktoria Kopach Actions
7886 Klever Feature New High Consider trylocking in the same manner for different synchronization primitives Evgeny Novikov Actions
7884 Klever Bug Open Normal Empty page is shown when redirecting to jobs/create/ after signing in Evgeny Novikov Vladimir Gratinskiy Actions
7881 Requality Bug New Normal Если у требования есть тестовая ситуация, то добавление нового текстового узла не сразу отображается в Module Editor Viktoria Kopach Actions
7880 Requality Bug New Normal Один клик на требовании делает вкладку UniEditor или Module Editor активной Viktoria Kopach Actions
7879 Requality Bug New Normal Режим редактирования узла в редакторе выглядит не закрытым при клике на другие узлы Viktoria Kopach Actions
7878 Requality Bug New Normal Не сохраняется текст узла, если в процессе редактирования воспользоваться меню другого узла Viktoria Kopach Actions
7877 Klever Feature New High BenchExec should be used properly Vadim Mutilin Actions
7876 Klever Feature New High Distinguish double lock unlock and unlock of unlocked lock Evgeny Novikov Actions
7875 Requality Bug New Normal Форматирование в тексте фрагмента документа не всегда отображается в требовании Viktoria Kopach Actions
7871 Klever Feature New High Add more tests for rule specifications Evgeny Novikov Evgeny Novikov Actions
7869 Klever Bug New High Add rule specification hook for register_chrdev() Evgeny Novikov Evgeny Novikov Actions
7861 Requality Bug New Normal Не сразу отображаются правильные узлы на правильных местах при изменении id элемента со сменой его положения в дереве Viktoria Kopach Actions
7860 Requality Bug Open Normal У виртуального узла с типом итерации Base element не появляются новые итерируемые "дети" при добавлении детей целевому узлу Viktoria Kopach Actions
7855 Requality Bug New Normal Для text node типа header открывается неправильный редактор Denis Kildishev Actions
7845 Requality Bug New Normal Можно перетащить виртуальный узел на потомка его целевого узла Viktoria Kopach Actions
7839 Requality Bug New Normal В UniEditor и Module Editor отмена удаления узла позволяет приводит к выделению сразу нескольких узлов Viktoria Kopach Actions
7835 Requality Feature New Normal Тестовый вариант веб интерфейса для Requality Denis Kildishev Actions
7828 Requality Feature New Normal В окне визарда массовых операций нужны пояснения. Viktoria Kopach Actions
7818 Verification Tool Supports Bug New Low graph: web: vis.js и viz.js Denis Efremov Denis Efremov Actions
7817 Verification Tool Supports Feature New Low dismember: рефакторинг кода Denis Efremov Denis Efremov Actions
7796 Requality Bug New Normal Не перемещается документ из подпапки в корень Viktoria Kopach Actions
7784 Klever Bug New Normal Can provide negative number of CPU cores Ilja Zakharov Vladimir Gratinskiy Actions
7780 Requality Bug New Normal В Module editor не отображается id у "внуков" узла Requirements Viktoria Kopach Actions
7777 Requality Bug New Normal В Module Editor не завершается редактирование узла Viktoria Kopach Actions
7740 Requality Bug New Normal В Module Editor и UniEditor текст требований, имеющих фрагменты, разбивается переносами, которых не было в тексте Viktoria Kopach Actions
7729 MicroTESK Task New Normal On-demand memory access path exploration (coverage extraction) Alexander Kamkin Alexander Kamkin MicroTESK - 2.6 Actions
7724 Requality Bug New Normal После второго Update в Update Processor Tasks пусто. Viktoria Kopach Actions
7712 Requality Bug New Normal При Update Document возникают ошибки в Error log Viktoria Kopach Actions
7707 Klever Bug New High Several instances of NativeScheduler concurrently decide jobs Evgeny Novikov Ilja Zakharov Actions
7703 Requality Bug New Normal В Module Editor вспомогательные элементы, которые раскрываются между строк, не открываются при одном клике Viktoria Kopach Actions
7693 Requality Bug New Normal После Document Update индексы у новых фрагментов расставляются не по порядку возникновения фрагмента. Viktoria Kopach Actions
7689 Requality Feature New Normal Сортировка по индексам при установленной 'by locations' в свойствах проекта Viktoria Kopach Actions
7678 MicroTESK Task New Low Generation of LLVM configuration files from nML specifications Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
7627 C Instrumentation Framework Feature New Normal SV-COMP compilation issues for clang compiler Vadim Mutilin Actions
7619 Klever Bug New Normal EMG generates incorrect parallel model for sending signals case Pavel Andrianov Ilja Zakharov Actions
7616 Requality Bug New Normal NullPointerException при импорте проекта из архива Alexey Khoroshilov Actions
7603 MicroTESK Bug New Normal List of plug-ins must be stored in etc/settings.xml Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
(1151-1200/2055) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF