deprecate execution of `testFail*` tests - #1043

Open

anvacaru wants to merge 4 commits into

remove_testFail

Commits on Jul 3, 2025

deprecate testFail functionality
anvacaru
committed
9d9bda7
update test files
anvacaru
committed
ca3cb44
clean-up
anvacaru
committed
c846ae3
Update src/kontrol/prove.py

anvacaru
and
palinatolmach
authored
b13dc89