Processed: ITP
Processing commands for control@bugs.debian.org:
> owner 576142 !
Bug #576142 [wnpp] RFP: klee -- KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure
Owner recorded as Michael Tautschnig <mt@debian.org>.
> retitle 576142 ITP: klee -- symbolic virtual machine built on top of LLVM
Bug #576142 [wnpp] RFP: klee -- KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure
Changed Bug title to 'ITP: klee -- symbolic virtual machine built on top of LLVM' from 'RFP: klee -- KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
576142: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=576142
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: