3 ms·
That is easily caught by a model checker that tries the equivalence classes. Or just normal coverage tooling.
by adrianN 2y ago
That is easily caught by a model checker that tries the equivalence classes. Or just normal coverage tooling.
loading thread…