Skip to content
Avatar
💭
make test
💭
make test

Organizations

@tarantool @sqaunderhood

Pinned

  1. is a tool to import test results into SQLite database

    Go 2 1

  2. Jepsen tests for Tarantool

    Clojure 4

  3. A FUSE-based fault injection filesystem.

    C 1

  4. Grammars suitable for lark parser and Hypothesis

    Python 15 2

  5. A gently curated list of companies using verification formal methods in industry

    274 25

  6. Generator of HTML reports with mutation testing results

    Python 3

1,218 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri

Contribution activity

March 2021

Created 6 repositories

Created a pull request in facebookresearch/CParser that received 4 comments

Add rockspec

Closes #5 How to test: $ luarocks --local make cparser-scm-1.rockspec $ luarocks --local remove cparser

+28 −0 4 comments
Opened 13 other pull requests in 7 repositories
Reviewed 6 pull requests in 2 repositories

Created an issue in mull-project/mull that received 15 comments

Mull doesn't generate mutations for lines changed in specified Git diff.

Description Mull doesn't generate mutations for lines changed in specified Git diff. sergeyb@pony:~/sources/mull_testing$ git show 580212eee09fdbe8…

15 comments
Opened 49 other issues in 12 repositories
ligurio/testres-db
26 open 1 closed
ligurio/unreliablefs
4 open 3 closed
mull-project/mull
3 open 2 closed
tarantool/jepsen.tarantool
2 open
dogsheep/dogsheep-photos
1 open
photoprism/photoprism
1 open
diffblue/cbmc
1 closed
facebookresearch/CParser
1 closed
llogiq/mutagen
1 open
tarantool/test-run
1 open
tarantool/tarantool-qa
1 open
ligurio/py-mutation-testing-elements
1 open

Seeing something unexpected? Take a look at the GitHub profile guide.