yosupo06 / library-checker-problems

The problem data (Test case generator, judge's solution, task, ...) of Library Checker
https://judge.yosupo.jp/
Apache License 2.0
488 stars 114 forks source link

stop using wrong = True and introduce expect #1178

Closed yosupo06 closed 3 weeks ago

yosupo06 commented 4 weeks ago

ref #823

The usage of wrong = True of info.toml is unclear. This PR would

If we set expect = 'WA' for a solution, this solution have to got 'WA' for at least 1 case.

Formally,

Let

The following conditions have to be satisfied: