diff options
Diffstat (limited to 'devel/klee/pkg-descr')
| -rw-r--r-- | devel/klee/pkg-descr | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/devel/klee/pkg-descr b/devel/klee/pkg-descr new file mode 100644 index 000000000000..182860e55362 --- /dev/null +++ b/devel/klee/pkg-descr @@ -0,0 +1,5 @@ +KLEE is a symbolic virtual machine built on top of the +LLVM compiler infrastructure, and available under the +UIUC open source license. + +WWW: http://klee.llvm.org/ |