Skip to content

CSeq disqualified, prepare for hors concours participation with version from last year

Dirk Beyer requested to merge cseq-revert into main

For a technical reason, CSeq cannot solve the verification tasks and always answers unknown, and therefore, cannot participate.

Merge request reports