Skip to content
Snippets Groups Projects
Commit d0a2425a authored by Jan Gruteser's avatar Jan Gruteser
Browse files

reset dfid and nr of workers before each run 

the global options in TLCGlobals are not reset, which can cause problems with multiple runs with ProB2
parent 0daf54dc
No related branches found
No related tags found
Checking pipeline status
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment