C++ / Execução registrada

Pressure Control

A PID controller with interlocks and first-order model identification from process measurements.

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
b5ee5cf5cc8d833ea98cea9b2b2707bc2dfb6062
Registro
2026-10-10T05:28:09.407070+00:00
Repositório
brunnojob/pid-pressure-control
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 cmake -S . -B build -DCMAKE_BUILD_TYPE=Debug

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

$ bash -e -o pipefail -c cmake -S . -B build -DCMAKE_BUILD_TYPE=Debug

-- The CXX compiler identification is GNU 13.3.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Configuring done (1.1s)
-- Generating done (0.0s)
-- Build files have been written to: /home/runner/work/pid-pressure-control/pid-pressure-control/build
PASS cmake --build build --parallel 2

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

$ bash -e -o pipefail -c cmake --build build --parallel 2

[  9%] Building CXX object CMakeFiles/pressure_control.dir/src/pid.cpp.o
[ 18%] Building CXX object CMakeFiles/identification_test.dir/tests/identification_test.cpp.o
[ 27%] Building CXX object CMakeFiles/pressure_control.dir/src/controller.cpp.o
[ 36%] Linking CXX executable identification_test
[ 36%] Built target identification_test
[ 45%] Building CXX object CMakeFiles/identify_process.dir/app/identify.cpp.o
[ 54%] Linking CXX static library libpressure_control.a
[ 63%] Linking CXX executable identify_process
[ 63%] Built target identify_process
[ 63%] Built target pressure_control
[ 72%] Building CXX object CMakeFiles/pressure_demo.dir/app/main.cpp.o
[ 81%] Building CXX object CMakeFiles/pid_tests.dir/tests/pid_test.cpp.o
[ 90%] Linking CXX executable pressure_demo
[100%] Linking CXX executable pid_tests
[100%] Built target pressure_demo
[100%] Built target pid_tests
PASS ctest --test-dir build --output-on-failure

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

$ bash -e -o pipefail -c ctest --test-dir build --output-on-failure

Internal ctest changing into directory: /home/runner/work/pid-pressure-control/pid-pressure-control/build
Test project /home/runner/work/pid-pressure-control/pid-pressure-control/build
    Start 1: pid_tests
1/2 Test #1: pid_tests ........................   Passed    0.00 sec
    Start 2: identification
2/2 Test #2: identification ...................   Passed    0.00 sec

100% tests passed, 0 tests failed out of 2

Total Test time (real) =   0.06 sec
PASS Run pressure-loop normalization and bounded valve output

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

$ build/pressure_demo

1,98.9011,39.033
2,100.122,37.1507
3,101.343,35.5843
4,102.564,34.1243
5,103.785,32.6777
6,105.006,31.2031
7,106.227,29.6822
8,107.448,28.1067
9,108.669,26.4732
10,109.89,24.7798
11,111.111,23.026
12,112.332,21.2114
13,113.553,19.3358
14,114.774,17.3993
15,115.995,15.4017
16,117.216,13.3431
17,118.437,11.2234
18,119.658,9.04274
19,120.879,6.80098
20,122.1,4.49817
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/pid-pressure-control.git
cd pid-pressure-control
git checkout b5ee5cf5cc8d833ea98cea9b2b2707bc2dfb6062
python .proof/record.py