[17:03:24] <virtual_lark> Okasu, а для adhcp доказано, что там переполнений буфера и прочих ошибок времени выполнения нет?
[17:04:27] <virtual_lark> наверняка там проверки включены же )
[17:04:57] <virtual_lark> Вообще задача опробовать gnatprove. Не обязательно на dhcp, а вообще. Предлагайте варианты.
[19:45:48] <nordwind> http://www.flickr.com/photos/73555407@N06/7937533348/
[19:45:52] <nordwind> :-)
[19:47:27] <nordwind> вечер