Handle inconsistent ground truth and SMT unknowns when checking `ensures` #6809

Sign in to view logs

Annotations

2 errors and 2 warnings

Canceling since a higher priority waiting request for 'Test-ensures-unsat-ground-truth-check' exists

The operation was canceled.

Install Cachix

Cachix Daemon is not supported by this version of Cachix (1.6.0). Ignoring the 'useDaemon' option.

Install Cachix

No push credentials found. Ignoring the 'useDaemon' option.