2 lines
61 B
Plaintext
2 lines
61 B
Plaintext
# This file marks this directory as containing a CBMC proof.
|
# This file marks this directory as containing a CBMC proof.
|