Skip to content
Library Dafny verification

Python POC #1078

Sign in to view logs

Python POC

Python POC #1078

Triggered via pull request October 13, 2023 18:05
@lucasmcdonald3lucasmcdonald3
synchronize #282
lucmcdon/python-poc
Status Failure
Total duration 1m 42s
Artifacts –

test_models_dafny_verification.yml

on: pull_request
Matrix: verification
Fit to window
Zoom out
Zoom in

Annotations

45 errors
verification (TestModels/Extendable, ubuntu-latest)
Process completed with exit code 2.
verification (TestModels/Dependencies, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/Dependencies, ubuntu-latest)
Process completed with exit code 2.
verification (TestModels/Aggregate, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/Aggregate, ubuntu-latest)
Process completed with exit code 2.
verification (TestModels/Constraints, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/Constraints, ubuntu-latest)
Process completed with exit code 2.
verification (TestModels/SimpleTypes/SimpleString, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/SimpleTypes/SimpleString, ubuntu-latest)
The operation was canceled.
verification (TestModels/Constructor, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/Constructor, ubuntu-latest)
The operation was canceled.
verification (TestModels/dafny-dependencies/StandardLibrary, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/dafny-dependencies/StandardLibrary, ubuntu-latest)
The operation was canceled.
verification (TestModels/Refinement, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/Refinement, ubuntu-latest)
The operation was canceled.
verification (TestModels/SimpleTypes/SimpleLong, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/SimpleTypes/SimpleLong, ubuntu-latest)
The operation was canceled.
verification (TestModels/SimpleTypes/SimpleBlob, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/SimpleTypes/SimpleBlob, ubuntu-latest)
The operation was canceled.
verification (TestModels/Extern, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/Extern, ubuntu-latest)
The operation was canceled.
verification (TestModels/Resource, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/Resource, ubuntu-latest)
The operation was canceled.
verification (TestModels/SimpleTypes/SimpleInteger, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/SimpleTypes/SimpleInteger, ubuntu-latest)
The operation was canceled.
verification (TestModels/SimpleTypes/SimpleDouble, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/SimpleTypes/SimpleDouble, ubuntu-latest)
The operation was canceled.
verification (TestModels/AggregateReferences, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/AggregateReferences, ubuntu-latest)
The operation was canceled.
verification (TestModels/Union, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/Union, ubuntu-latest)
The operation was canceled.
verification (TestModels/Errors, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/Errors, ubuntu-latest)
The operation was canceled.
verification (TestModels/aws-sdks/kms, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/aws-sdks/kms, ubuntu-latest)
The operation was canceled.
verification (TestModels/SimpleTypes/SimpleBoolean, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/SimpleTypes/SimpleBoolean, ubuntu-latest)
The operation was canceled.
verification (TestModels/LocalService, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/LocalService, ubuntu-latest)
The operation was canceled.
verification (TestModels/aws-sdks/sqs-via-cli, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/aws-sdks/sqs-via-cli, ubuntu-latest)
The operation was canceled.
verification (TestModels/SimpleTypes/SimpleEnum, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/SimpleTypes/SimpleEnum, ubuntu-latest)
The operation was canceled.
verification (TestModels/aws-sdks/ddb, ubuntu-latest)
The job was canceled because "TestModels_Extendable_ubu" failed.
verification (TestModels/aws-sdks/ddb, ubuntu-latest)
The operation was canceled.