[klee-dev] Windows support

[Cadar, Cristian]

Hi Mikhail,

No, KLEE does not have support for Windows.  Only for Linux and 
(partially) for macOS, see https://klee.github.io/build-llvm60/

Cristian

On 05/03/2020 07:38, Mikhail Oskin wrote:
> 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:image009.jpg at 01D4B4C0.6BB34BE0
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>