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:[email protected] > > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
