Added mutant markers#180

Open

JKutscha wants to merge 9 commits intopitest:masterfrom

JKutscha:Editor_highlighting

Commits on Aug 23, 2021

Commits on Aug 30, 2021

Renaming and removed unused class
Jonas Kutscha
committed
Added comments
Jonas Kutscha
committed
Fixed issues from renaming
Jonas Kutscha
committed
Tests for mutation marker
Jonas Kutscha
committed
Don't show task view, because it kills other tests
Jonas Kutscha
committed
Merge branch 'master' into Editor_highlighting
JKutscha
authored

Commits on Oct 14, 2021

Merge branch 'master' into Editor_highlighting
JKutscha
authored