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.
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 07:30:38 +0000