Skip to content

HAROS PBT Generator Plugin v0.4.0

Latest
Latest
Compare
Choose a tag to compare
@git-afsantos git-afsantos released this 19 Aug 14:08
· 3 commits to master since this release
v0.4.0
07ba975

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.
Assets 3
Loading