c-offshore-pump-sequence-replay

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

c1979b1823c4f4fb65f3e386deccdb78384d68d3

Registro

2026-10-10T05:30:05.476514+00:00

Repositório

brunnojob/c-offshore-pump-sequence-replay

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.

$ bash -e -o pipefail -c make test && ./app < examples/input.txt

cc -std=c17 -Wall -Wextra -Werror -pedantic -O2 src/main.c -lm -o app
./app --self-test
start failure, changeover and minimum runtime tests passed
time=0.00 state=1 duty=1 command=10 faults=00
time=1.00 state=2 duty=1 command=10 faults=00
time=2.00 state=1 duty=2 command=01 faults=10
time=3.00 state=2 duty=2 command=01 faults=10
time=10.00 state=0 duty=1 command=00 faults=10

$ ./app

time=0.00 state=1 duty=1 command=10 faults=00
time=1.00 state=2 duty=1 command=10 faults=00
time=2.00 state=1 duty=2 command=01 faults=10
time=3.00 state=2 duty=2 command=01 faults=10
time=10.00 state=0 duty=1 command=00 faults=10

$ ./app

missing input

$ ./app

expected seven columns

$ ./app --unsupported

unsupported command arguments

$ ./app

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/c-offshore-pump-sequence-replay.git
cd c-offshore-pump-sequence-replay
git checkout c1979b1823c4f4fb65f3e386deccdb78384d68d3
python .proof/record.py