другого и влияние изменяемых переменных друг на друга в двух прерываниях и более?
На этот вопрос ответить не могу. В этом проекте на данеый момент не участвую . Строится абстракция драйвера и все переменные участвующие в верификации помечаются. У каждой переменной диапазон вариантов. Как внутри решатель работает сказать не могу давно с ним работал. Вот проект. http://linuxtesting.ru/ldv
Обсуждают сегодня