[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

--- Comment #7 from Kubilay Kocak <koobs at FreeBSD.org> ---
(In reply to arrowd from comment #6)

Thaznk you for the updated attachment. Could you please create a new (separate
issue) for math/z3 port please, adding this issue to its "Blocks" field if the
fix needs to be committed before this issue can be committed and resolved

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