HAROS PBT Generator Plugin v0.4.0

v0.4.0 - 2021-08-19

Fixed

• Fixed Python 2/3 compatibility bug.

Added

• Added the run_tests option which, when set to true, runs the generated tests on the spot and reports counterexamples to HAROS.

HAROS PBT Generator Plugin v0.3.6

v0.3.6 - 2021-08-17

Fixed

• Suppressed warnings about unused sockets; the issue lies in rosnode.ping_node() (see ros/ros_comm#2176).

HAROS PBT Generator Plugin v0.3.4

v0.3.4 - 2021-08-17

Fixed

• Fixed a Python 2/3 compatibility bug.

HAROS PBT Generator Plugin v0.3.2

2021-08-10

Fixed

• Fixed a Python packaging bug.

Version 0.3.0

v0.3.0

bump version and updated email