Handle some special cases of bitand
in invariant
and Interval
, DefExc
, and Congruences
#420
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
suite_result
Expired
|
5.98 MB |
|