tree 64d3d78df273ff06b6ab661e998286b153c8152d
parent 62d29a186f0ed19430b925c410e4a152a5b90bc5
author Marc Kupietz <kupietz@ids-mannheim.de> 1579341681 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1579513506 +0100

Make Heuschrecken-Example less time-consuming

Change-Id: I12fbab9a177b7e97ed9524a2a7b62a82697b3aef