README.txt « Internal « klee « include - ~cnx/klee - KLEE fork for patch differentiation testing

about summary refs log tree commit diff homepage

path: root/include/klee/Internal/README.txt

blob: 9cedb6534f913bd9018de255f36aa8b55748558b (plain) (blame)

1
2
3

This directory holds header files for things which are exposed as part
of the internal API of a library, but shouldn't be exposed to
externally.