about summary refs log tree commit diff homepage
path: root/lib/Support/README.txt
blob: 1ed6fcb4ba373b684dddd7c8693a80d70c6579a8 (plain) (blame)
1
2
This directory holds basic support facilities (data structures,
utilities, etc.) used by klee.