Pytania oznaczone «emma»

Czyszczenie podświetlenia zasięgu w Eclipse

Po uruchomieniu raportów zasięgu w Eclipse (przy użyciu cobertury lub wtyczki EMMA) moje pliki kodu źródłowego są podświetlane na zielono, czerwono i żółto w zależności od tego, które wiersze kodu zostały objęte testami. Jak mogę usunąć to wyróżnienie po

Co to jest lemat pompowania w kategoriach laika?

Widziałem to pytanie i byłem zaciekawiony, jaki był lemat o pompowaniu ( Wikipedia niewiele pomogła). Rozumiem, że jest to w zasadzie teoretyczny dowód, który musi być prawdziwy, aby język był w określonej klasie, ale poza tym tak naprawdę go nie rozumiem. Czy ktoś chciałby spróbować...