Open VaccinoPower opened 5 months ago
Если пришёл AST, который приведет к ошибке во время компиляции, то верификацию проводить не следует. Возможное решение: При получении некорректного AST необходимо прекратить работу генератора Promela-кода и вывести ошибку в стандартном формате.
Не проводить верификацию, если AST некорректный
Если пришёл AST, который приведет к ошибке во время компиляции, то верификацию проводить не следует. Возможное решение: При получении некорректного AST необходимо прекратить работу генератора Promela-кода и вывести ошибку в стандартном формате.