Kani

comment out failing proofs #48

Sign in to view logs

Triggered via push February 26, 2025 05:03

carolynzech

no-assert-contracts

Status Failure

Total duration 2h 18m 3s

Artifacts –

kani.yml

on: push

Matrix: check-kani-on-std

Annotations

2 errors and 8 warnings

Verify std library (partition 4)

Process completed with exit code 1.

Verify std library (partition 4)

Process completed with exit code 1.

Verify std library (partition 1)

These files were overwritten during the `brew link` step:

Verify std library (partition 1)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.2

Verify std library (partition 2)

These files were overwritten during the `brew link` step:

Verify std library (partition 2)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.2

Verify std library (partition 3)

These files were overwritten during the `brew link` step:

Verify std library (partition 3)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.2

Verify std library (partition 4)

These files were overwritten during the `brew link` step:

Verify std library (partition 4)

Already linked: /opt/homebrew/Cellar/python@3.13/3.13.2