C# / Execução registrada
csharp-offshore-trip-log-triage
Reconstruct first-out trips and calculate restoration times from equipment event logs.
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.
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 JSONPASS dotnet build && dotnet run --no-build -- --self-test && dotnet run --no-build < examples/input.txt
Saída: 0 · esperada: 0 · 11.88 s
$ bash -e -o pipefail -c dotnet build && dotnet run --no-build -- --self-test && dotnet run --no-build < examples/input.txt
Determining projects to restore...
Restored /home/runner/work/csharp-offshore-trip-log-triage/csharp-offshore-trip-log-triage/Offshore.csproj (in 65 ms).
Offshore -> /home/runner/work/csharp-offshore-trip-log-triage/csharp-offshore-trip-log-triage/bin/Debug/net8.0/Offshore.dll
Build succeeded.
0 Warning(s)
0 Error(s)
Time Elapsed 00:00:06.35
Tests passed
{"Asset":"pump-A","Start":0,"Restored":20,"Causes":["POWER_LOSS","TRIP"]}
{"Asset":"pump-B","Start":21,"Restored":null,"Causes":["OVERTEMP"]}
PASS Application demonstration with checked output
Saída: 0 · esperada: 0 · 0.652 s
$ dotnet run --no-build --
{"Asset":"pump-A","Start":0,"Restored":20,"Causes":["POWER_LOSS","TRIP"]}
{"Asset":"pump-B","Start":21,"Restored":null,"Causes":["OVERTEMP"]}
PASS Reject an empty capture
Saída: 2 · esperada: 2 · 0.602 s
$ dotnet run --no-build -- Missing input
PASS Reject malformed input
Saída: 2 · esperada: 2 · 0.602 s
$ dotnet run --no-build -- Invalid CSV row
PASS Reject unsupported invocation
Saída: 2 · esperada: 2 · 0.602 s
$ dotnet run --no-build -- --unsupported Unsupported command arguments
PASS Reject an oversized input record
Saída: 2 · esperada: 2 · 0.602 s
$ dotnet run --no-build -- Input record too large
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/csharp-offshore-trip-log-triage.git cd csharp-offshore-trip-log-triage git checkout 6976172c2b534e66079226e5ed128610fa33012c python .proof/record.py