Home
last modified time | relevance | path

Searched full:name (Results 1 – 25 of 34) sorted by relevance

12

/CoreMQTT-Agent-v1.2.0/.github/workflows/
HDci.yml1 name: CI Checks
14 - name: Clone This Repo
18 - name: Build
27 - name: Test
32 - name: Run Coverage
38 - name: Check Coverage
46 - name: Check complexity
54 - name: Download MQTT tag
60 - name: Run doxygen build
67 - name: Clone This Repo
[all …]
HDrelease.yml1 name: Release automation
24 - name: Checkout code
26 - name: Check if tag exists
34 - name: Check if release exists
48 name: Tag commit
51 - name: Checkout code
55 - name: Configure git identity
57 git config --global user.name "Release Workflow"
58 - name: Tag Commit and Push to remote
62 - name: Verify tag on remote
[all …]
HDdoxygen.yml1 name: Doxygen Generation
10 - name: Doxygen generation
/CoreMQTT-Agent-v1.2.0/
HDmanifest.yml1 name : "coreMQTT Agent"
6 - name : "coreMQTT"
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/
HDrun-cbmc-proofs.py36 find . -name cbmc-proof.txt | while read -r proof; do
74 "echo-project-name",
79 logging.critical("could not run make to determine project name")
83 "project name has not been set; using generic name instead. "
86 return "<PROJECT NAME HERE>"
114 "flags": ["--project-name"],
115 "metavar": "NAME",
117 "help": "project name for report. Default: %(default)s",
123 "name of file that marks proof directories. Default: "
193 proof_name = str(pathlib.Path(root).name)
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/
HDcbmc-viewer.json5 "proof-name": "MQTTAgentCommand_ProcessLoop",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgentCommand_Publish/
HDcbmc-viewer.json5 "proof-name": "MQTTAgentCommand_Publish",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgentCommand_Ping/
HDcbmc-viewer.json5 "proof-name": "MQTTAgentCommand_Ping",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgentCommand_Disconnect/
HDcbmc-viewer.json5 "proof-name": "MQTTAgentCommand_Disconnect",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/
HDcbmc-viewer.json5 "proof-name": "MQTTAgentCommand_Unsubscribe",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgent_CancelAll/
HDcbmc-viewer.json5 "proof-name": "MQTTAgent_CancelAll",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgentCommand_Terminate/
HDcbmc-viewer.json5 "proof-name": "MQTTAgentCommand_Terminate",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgentCommand_Subscribe/
HDcbmc-viewer.json5 "proof-name": "MQTTAgentCommand_Subscribe",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgentCommand_Connect/
HDcbmc-viewer.json5 "proof-name": "MQTTAgentCommand_Connect",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgent_Terminate/
HDcbmc-viewer.json5 "proof-name": "MQTTAgent_Terminate",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgent_ProcessLoop/
HDcbmc-viewer.json5 "proof-name": "MQTTAgent_ProcessLoop",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgent_Ping/
HDcbmc-viewer.json5 "proof-name": "MQTTAgent_Ping",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgent_ResumeSession/
HDcbmc-viewer.json5 "proof-name": "MQTTAgent_ResumeSession",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgent_Publish/
HDcbmc-viewer.json5 "proof-name": "MQTTAgent_Publish",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgent_Disconnect/
HDcbmc-viewer.json5 "proof-name": "MQTTAgent_Disconnect",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgent_Init/
HDcbmc-viewer.json5 "proof-name": "MQTTAgent_Init",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgent_Connect/
HDcbmc-viewer.json5 "proof-name": "MQTTAgent_Connect",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgent_CommandLoop/
HDcbmc-viewer.json5 "proof-name": "MQTTAgent_CommandLoop",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgent_Unsubscribe/
HDcbmc-viewer.json5 "proof-name": "MQTTAgent_Unsubscribe",
/CoreMQTT-Agent-v1.2.0/test/cbmc/proofs/MQTTAgent_Subscribe/
HDcbmc-viewer.json5 "proof-name": "MQTTAgent_Subscribe",

12