-
Notifications
You must be signed in to change notification settings - Fork 103
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Advance litani submodule for cbmc proofs to latest version
- Loading branch information
1 parent
0f244d4
commit 158af97
Showing
1 changed file
with
1 addition
and
1 deletion.
There are no files selected for viewing
Submodule litani
updated
27 files
| +40 −0 | CHANGELOG | |
| +35 −11 | doc/bin/build-html-doc | |
| +244 −0 | doc/bin/schema-to-scdoc | |
| +65 −37 | doc/configure | |
| +45 −0 | doc/src/man/litani-add-job.scdoc | |
| +73 −0 | doc/src/man/litani-dump-run.scdoc | |
| +22 −0 | doc/src/man/litani-init.scdoc | |
| +21 −0 | doc/src/man/litani-run-build.scdoc | |
| +90 −0 | doc/src/man/litani.scdoc | |
| +16 −0 | doc/src/voluptuous-man/litani-run.json.yaml | |
| +18 −12 | doc/templates/index.jinja.html | |
| +26 −0 | doc/templates/voluptuous-man.jinja.scdoc | |
| +2 −0 | lib/capabilities.py | |
| +10 −3 | lib/litani.py | |
| +7 −4 | lib/litani_report.py | |
| +60 −0 | lib/output_artifact.py | |
| +39 −0 | lib/pid_file.py | |
| +8 −3 | lib/process.py | |
| +172 −0 | lib/run_printer.py | |
| +328 −29 | lib/validation.py | |
| +59 −9 | litani | |
| +6 −0 | test/e2e/run | |
| +121 −0 | test/e2e/tests/dump_run.py | |
| +39 −0 | test/e2e/tests/job_id_env.py | |
| +69 −0 | test/e2e/tests/multiproc_dump_run.py | |
| +71 −0 | test/unit/output_artifact.py | |
| +178 −0 | test/unit/run_consistency.py |