******************* This email originates from outside Imperial. Do not click on links and attachments unless you recognise the sender. If you trust the sender, add them to your safe senders list https://spam.ic.ac.uk/SpamConsole/Senders.aspx to disable email stamping for this address. ******************* Dear KLEE developers,
I would like to evaluate KLEE for its feasibility in our research. Is there any significant challenges installing it on windows or just windows setup wasn't targeted and thoroughly tested? Thanks! ________________________________ Best regards, Mikhail Oskin Engineer at Russian Research Institute Huawei Technologies Co., Ltd [Russia] [cid:[email protected]]
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
