Log Apalache distribution-related verify messages only at --verbosity >=4
#2688
The logs for this run have expired and are no longer available.
Loading