Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Rick Smetsers
z3gi
Repository
272c8c8f36eedc8c99db6544be641638bd9d0d65
Switch branch/tag
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
Paul Fiterau Brostean authored272c8c8f