detailed results (1 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick2/tests/bugs/undecided.icnf(content)errorunknown0.011s