v0.4.0

CHANGELOG.md

@@ -4,6 +4,13 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](http://keepachangelog.com/en/1.0.0/)
 and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.html).
 
+## 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.
+
 ## v0.3.6 - 2021-08-17
 ### Fixed
 - Suppressed warnings about unused sockets; the issue lies in `rosnode.ping_node()` (see [ros/ros_comm#2176](https://github.com/ros/ros_comm/issues/2176)).

haros_plugin_pbt_gen/plugin.yaml

@@ -20,7 +20,15 @@
 #THE SOFTWARE.
 ---
 name: haros_plugin_pbt_gen
-version: 0.1.0
+version: 0.4.0
 languages:
     - cpp
     - python
+rules:
+    pbtest:
+        name:           Property-based Test
+        scope:          file
+        description:    An automatic property-based test failed.
+        tags:
+            - testing
+            - pbt

setup.py

@@ -47,7 +47,7 @@ def package_files(directory):
 
 setup(
     name = "haros_plugin_pbt_gen",
-    version = "0.3.6",
+    version = "0.4.0",
     author = "André Santos",
     author_email = "[email protected]",
     description = "HAROS plugin to generate Property-based tests.",
@@ -64,6 +64,7 @@ def package_files(directory):
         "ros-type-tokens",
         "hpl-specs",
         "hpl-rv-gen",
+        "rospy",
     ],
     zip_safe = False
 )