Files

.githooks
cmake
doc
jbmc
pkg
regression
- acceleration
- ansi-c
- array-refinement-with-incr
- array-refinement
- cbmc-concurrency
- cbmc-cover
- cbmc-cpp
- cbmc-from-CVS
- cbmc-incr-oneloop
- cbmc-incr
- cbmc-with-incr
- cbmc
- contracts
- cpp-from-CVS
- cpp-linter
- cpp
- fault-localization
- goto-analyzer-taint
- goto-analyzer
- goto-cc-cbmc
- goto-cc-goto-analyzer
- goto-cl
  - Fo
  - echo-file
    - echo-file.desc
    - some_funny_file.c
  - Makefile
- goto-diff
- goto-gcc
- goto-instrument-typedef
- goto-instrument-wmm-core
- goto-instrument
- invariants
- k-induction
- smt2_solver
- strings
- systemc
- test-script
- .gitignore
- CMakeLists.txt
- Makefile
- get_coverage.sh
- goto-instrument-wmm-full.tgz
- test.pl
scripts
src
unit
.clang-format
.dir-locals.el
.editorconfig
.gitattributes
.gitignore
.gitmodules
.travis.yml
CHANGELOG
CMakeLists.txt
CODEOWNERS
CODING_STANDARD.md
COMPILING.md
LICENSE
README.md
appveyor.yml
buildspec-windows.yml
buildspec.yml
gcloud-travis-cbmc.json.enc

echo-file.desc

Daniel Kroening

CL prints the name of the file that's compiled onto stdout

Aug 4, 2018

a66ab1e · Aug 4, 2018