On 19/11/2018 08:14, Maciej Sobczak wrote:
> assert(dowolnyfragmentkodu, wynik_bool);
> I użyć tego tak:
> assert(
> int i; // albo inne definicje

Coverage i lint to widzą. Asercje przy statycznej analizie bywają
niespełnialne a przy dynamicznej generują fałszywe wyniki pokrycia.
Dlatego to musi by ficzer języka. Wiec nie tylko poszerzamy składnię ale
musielibyśmy upoewnić się że takie narzędzia jak gcov i podobne nie
zobaczą tego kodu nawet w debugu. Tak więc to troche złożony problem.
Nie liczę że się kiedykolwiek doczekam.