Giters
Sergey Morozov (S1eGa)

S1eGa

Geek Repo

1

followers

0

following

9

stars

Company:Huawei Russian Research Institute

Github PK Tool:Github PK Tool

Sergey Morozov's repositories

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:1Issues:0Issues:0

SoftwareDesign

Repository for Software Design course homewroks

License:GPL-3.0Stargazers:0Issues:0Issues:0

UTBotCpp

Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

Language:C++License:Apache-2.0Stargazers:1Issues:0Issues:0

LFAO

LFAO: Lists for all occasions

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

huawei-smt-2022

Test problems for internship

Language:C++Stargazers:0Issues:0Issues:0

fl-project-2021

Parsers-combinators

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

fl-2021-hse

Stargazers:0Issues:0Issues:0

fl-2021-hse-win

Stargazers:0Issues:0Issues:0