[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

arrowd <6yearold at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 Attachment #184961|0                           |1
        is obsolete|                            |
 Attachment #184961|maintainer-approval?(itbot@ |
              Flags|list.ru)                    |

--- Comment #10 from arrowd <6yearold at gmail.com> ---
Created attachment 186079
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=186079&action=edit
updated shar

The blocker issue has been fixed. Can this finally get in? We also agreed with
larca that I'll be maintaining this.

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