Commit Graph

2 Commits

Author SHA1 Message Date
nella c44d24d9fd Add missing -assert to equiv_opt calls. 2026-06-11 01:08:36 +02:00
nella 6c13ec0efb Test. 2026-06-08 13:29:05 +02:00