[Bug 219150] [NEW PORT] security/klee: Symbolic virtual machine built on top of the LLVM compiler infrastructure

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=219150

Kubilay Kocak <koobs at FreeBSD.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[NEW PORT] security/klee: A |[NEW PORT] security/klee:
                   |symbolic virtual machine    |Symbolic virtual machine
                   |built on top of LLVM.       |built on top of the LLVM
                   |                            |compiler infrastructure
           Keywords|                            |feature, needs-qa

--- Comment #5 from Kubilay Kocak <koobs at FreeBSD.org> ---
Could you please confirm this port passes QA (portlint & poudriere in
particular). 

For more information and testing instruction see:
https://www.freebsd.org/doc/en_US.ISO8859-1/books/porters-handbook/testing.html

-- 
You are receiving this mail because:
You are the assignee for the bug.