C / Demo executável

c-offshore-can-j1939-inspector

Decode 29-bit CAN identifiers and identify sequence gaps in recorded offshore equipment traffic.

Executar no navegador →Código no GitHub ↗Execução no Actions ↗

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: 93aa2118dcc7f7e3a7d9e45e2a966db0993baaf0
Registro: 2026-10-10T05:30:07.027718+00:00
Repositório: brunnojob/c-offshore-can-j1939-inspector
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 make test && ./app < examples/input.txt

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

$ 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
PGN and wrap tests passed
time=0.000 source=1 pgn=61444 priority=6 gap=0
time=1.000 source=1 pgn=61444 priority=6 gap=0
time=2.000 source=1 pgn=61444 priority=6 gap=1

PASS Application demonstration with checked output

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

$ ./app

time=0.000 source=1 pgn=61444 priority=6 gap=0
time=1.000 source=1 pgn=61444 priority=6 gap=0
time=2.000 source=1 pgn=61444 priority=6 gap=1

PASS Reject an empty capture

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

$ ./app

missing input

PASS Reject malformed input

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

$ ./app

expected time,id,sequence,payload

PASS Reject unsupported invocation

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

$ ./app --unsupported

unsupported command arguments

PASS Reject an oversized input record

Saída: 2 · esperada: 2 · 0.051 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/c-offshore-can-j1939-inspector.git
cd c-offshore-can-j1939-inspector
git checkout 93aa2118dcc7f7e3a7d9e45e2a966db0993baaf0
python .proof/record.py

Entradas e critérios de verificação ↗Pré-requisitos ↗