Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
examples
lutin
up_and_down
Makefile
Find file
Blame
History
Permalink
Add a --replay mode to lutin that use the lastly generated seed
· 3a7968f8
erwan
authored
Apr 24, 2017
Print the seed when used from a RdbgPlugin
3a7968f8