Pinned Repositories
vAU
2021 C++ project: implementing client-server based messenger
fl-2021-hse
fl-2021-hse-win
fl-project-2021
Parsers-combinators
huawei-smt-2022
Test problems for internship
klee
KLEE Symbolic Execution Engine
LFAO
LFAO: Lists for all occasions
SoftwareDesign
Repository for Software Design course homewroks
UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
S1eGa's Repositories
S1eGa/klee
KLEE Symbolic Execution Engine
S1eGa/UTBotCpp
Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
S1eGa/fl-2021-hse
S1eGa/fl-2021-hse-win
S1eGa/fl-project-2021
Parsers-combinators
S1eGa/huawei-smt-2022
Test problems for internship
S1eGa/LFAO
LFAO: Lists for all occasions
S1eGa/SoftwareDesign
Repository for Software Design course homewroks