C++ / Execução registrada
Water Leak Monitor
Sensor reading analysis with filtering, hysteresis, temporal confirmation, sensor-failure detection, and an alarm latched until acknowledgement.
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 cmake -S . -B build -DCMAKE_BUILD_TYPE=Debug
Saída: 0 · esperada: 0 · 0.402 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 (0.3s) -- Generating done (0.0s) -- Build files have been written to: /home/runner/work/cpp-water-leak-alarm/cpp-water-leak-alarm/build
PASS cmake --build build --parallel 2
Saída: 0 · esperada: 0 · 1.505 s
$ bash -e -o pipefail -c cmake --build build --parallel 2 [ 25%] Building CXX object CMakeFiles/leak_monitor.dir/src/main.cpp.o [ 50%] Building CXX object CMakeFiles/leak_tests.dir/tests/leak_test.cpp.o [ 75%] Linking CXX executable leak_tests [ 75%] Built target leak_tests [100%] Linking CXX executable leak_monitor [100%] Built target leak_monitor
PASS ctest --test-dir build --output-on-failure
Saída: 0 · esperada: 0 · 0.552 s
$ bash -e -o pipefail -c ctest --test-dir build --output-on-failure
Internal ctest changing into directory: /home/runner/work/cpp-water-leak-alarm/cpp-water-leak-alarm/build
Test project /home/runner/work/cpp-water-leak-alarm/cpp-water-leak-alarm/build
Start 1: leak
1/1 Test #1: leak ............................. Passed 0.00 sec
100% tests passed, 0 tests failed out of 1
Total Test time (real) = 0.07 sec
PASS Compile leak-monitor demonstration
Saída: 0 · esperada: 0 · 0.452 s
$ g++ -std=c++20 -Wall -Wextra -Werror -Iinclude .proof/demo.cpp -o build/proof-demo
PASS Demonstrate sustained leak and stale-sensor alarm
Saída: 0 · esperada: 0 · 0.051 s
$ build/proof-demo
{"sustained_leak_confirmed":true,"stale_sensor_alarm":true,"sequence":3}
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/cpp-water-leak-alarm.git cd cpp-water-leak-alarm git checkout 5fe11cf75196f1e9de8745045947bb4e011bb5e9 python .proof/record.py