Skip to content
GitLab
Explore
Sign in
Rick Smetsers
z3gi
Repository
z3gi
z3gi
sut
__init__.py
Find file
Blame
History
Permalink
Added second type of algorithm one which uses a (model based) test generation algorithm.
· 272c8c8f
Paul Fiterau Brostean
authored
Jul 07, 2017
272c8c8f