Swift / Execução registrada

swift-offshore-corrosion-trend

Estimate wall-thickness loss and conservative inspection intervals from ultrasonic survey histories.

O que foi verificado

Os comandos abaixo executam o código do repositório e conferem os cenários registrados. A evidência cobre esses cenários na versão indicada; não comprova todas as entradas possíveis nem uso em produção. As entradas de laboratório e os testes do software não comprovam conexão ou operação em equipamentos físicos.

Versão executada
f9ac085ce24f927c379d69ddc1d233800ac34f19
Registro
2026-10-10T05:29:14.900785+00:00
Repositório
brunnojob/swift-offshore-corrosion-trend
Licença
MIT

A evidência abaixo pertence à versão registrada. A consulta usa a API pública do GitHub e pode atingir o limite de requisições.

Comandos e resultados reais

Resultados extraídos dos logs do Actions. Saídas extensas podem estar resumidas; a execução original e o artefato contêm o registro completo.

Baixar relatório JSON
PASS swiftc Sources/main.swift -o app && ./app --self-test && ./app < examples/input.txt

Saída: 0 · esperada: 0 · 5.776 s

$ bash -e -o pipefail -c swiftc Sources/main.swift -o app && ./app --self-test && ./app < examples/input.txt

Tests passed
{"currentThickness":9.2,"proposedInspectionYears":2,"remainingYears":6.863193063815397,"slopeMmPerYear":-0.2900000000000002,"slopeSigma":0.01527525231651945}
PASS Application demonstration with checked output

Saída: 0 · esperada: 0 · 0.102 s

$ ./app

{"currentThickness":9.2,"proposedInspectionYears":2,"remainingYears":6.863193063815397,"slopeMmPerYear":-0.2900000000000002,"slopeSigma":0.01527525231651945}
PASS Reject an empty capture

Saída: 2 · esperada: 2 · 0.055 s

$ ./app

Missing input
PASS Reject malformed input

Saída: 2 · esperada: 2 · 0.059 s

$ ./app

Finite number required
PASS Reject unsupported invocation

Saída: 2 · esperada: 2 · 0.083 s

$ ./app --unsupported

Unsupported command arguments
PASS Reject an oversized input record

Saída: 2 · esperada: 2 · 0.088 s

$ ./app

Input record too large
Baixar transcrição

Reproduzir a execução

Os pré-requisitos e as entradas são públicos no repositório. Faça checkout da versão exata antes de executar os cenários.

git clone https://github.com/brunnojob/swift-offshore-corrosion-trend.git
cd swift-offshore-corrosion-trend
git checkout f9ac085ce24f927c379d69ddc1d233800ac34f19
python .proof/record.py