Refactor verifyproblem - extract Diagnostics #398#409

Merged

pehrsoderman merged 2 commits into

Kattis:masterfrom

gkreitz:398_extract_observer

Apr 22, 2026

Commits on Apr 22, 2026

Create a Diagnostics interface with a default implementation to extract logic from verifyproblem #398
gkreitz
committed
Remove Problem constructor taking an ArgumentParser instance
gkreitz
committed