Marco Lampacrescia

icon company Robert Bosch GmbH - Corporate Research icon location Renningen, Germany icon location Robotics Software Engineer

Results 2 issues of Marco Lampacrescia

Feature request: make timeout from launch_testing's process_start configurable

1 comment

## Feature request #### Feature description Right now launch_tests wait only 15 seconds from the time the last process starts and the ReadyToTest action gets called. This value is hard-coded...

enhancement
help wanted

Integrate sin, cos and constants to Storm Jani parser

3 comment

This PR introduces support to the `sin` and `cos` operators, and to the PI and Euler number constants. In particular, for the sin and cos operators I introduced a new...