diff options
Diffstat (limited to 'examples/example.py')
| -rwxr-xr-x | examples/example.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/example.py b/examples/example.py index 62d5a53..2887cd5 100755 --- a/examples/example.py +++ b/examples/example.py @@ -77,6 +77,7 @@ with ExperimentManager(exp): exp.swap_in() exp.install_prototype() exp.bootstrap_prototype() + storyboard.generate_script() storyboard.start() # Fetch the client/server logs from the nodes |