fkromer/hypothesis-ros

Issues

• Deploy ROS package

  #45 opened 7 years ago by fkromer
  1

• Generic mapping of rospy message classes to hypothesis-ros strategies

  #59 opened 6 years ago by fkromer
  2

• Fix travis CI

  #46 opened 6 years ago by fkromer
  1

• Call for maintainers

  #58 opened 6 years ago by fkromer
  2

• Improve test coverage

  #56 opened 6 years ago by fkromer
  0

• Improve maintainability

  #57 opened 6 years ago by fkromer
  0

• Add documentation about docker-py integration

  #44 opened 6 years ago by fkromer
  1

• sensor_msgs/CameraInfo Message

  #55 opened 6 years ago by fkromer
  0

• ROS1 geometry_msgs/PoseWithCovarianceStamped

  #54 opened 6 years ago by fkromer
  0

• Improve message tests to catch potentially wrong mapping of fields

  #53 opened 6 years ago by fkromer
  0

• Improve docstrings

  #52 opened 7 years ago by fkromer
  0

• Fix strategy for std_msgs/Header

  #51 opened 7 years ago by fkromer
  2

• Deploy docs online

  #42 opened 7 years ago by fkromer
  1

• Automate pypi deployment

  #47 opened 7 years ago by fkromer
  1

• Add changelog file for next release

  #50 opened 7 years ago by fkromer
  1

• General review and suggestions

  #48 opened 7 years ago by Zac-HD
  8

• Add support for lazy strategy argument validation

  #34 opened 7 years ago by fkromer
  3

• Add documentation about hypothesis integration

  #30 opened 7 years ago by fkromer
  2

• ROS1 sensor_msgs/Imu

  #27 opened 7 years ago by fkromer
  1

• Add files read in setup.py as package data

  #49 opened 7 years ago by fkromer
  0

• Deploy Python package on pypi

  #43 opened 7 years ago by fkromer
  1

• ROS1 parameter type: double

  #18 opened 7 years ago by fkromer
  1

• ROS1 parameter type: list

  #20 opened 7 years ago by fkromer
  1

• ROS1 fixed-length array

  #28 opened 7 years ago by fkromer
  1

• ROS1 variable-length array

  #29 opened 7 years ago by fkromer
  1

• ROS1 message built-in field type: time

  #13 opened 7 years ago by fkromer
  2

• ROS1 std_msgs/Header

  #26 opened 7 years ago by fkromer
  1

• ROS1 message built-in field type: duration

  #14 opened 7 years ago by fkromer
  1

• ROS1 parameter type: int32

  #15 opened 7 years ago by fkromer
  1

• ROS1 parameter type: string

  #17 opened 7 years ago by fkromer
  1

• ROS1 parameter type: string

  #19 opened 7 years ago by fkromer
  1

• ROS1 parameter type: bool

  #16 opened 7 years ago by fkromer
  1

• Add documentation about pytest integration

  #31 opened 7 years ago by fkromer
  0

• Design discussion: Package separation due to ROS version incompatibilities

  #40 opened 7 years ago by fkromer
  3

• ROS2 parameter type: int64

  #22 opened 7 years ago by fkromer
  1

• ROS2 message built-in field type: bool

  #38 opened 7 years ago by fkromer
  1

• ROS2 message built-in field type: string

  #39 opened 7 years ago by fkromer
  1

• Add documentation about pyros integration

  #41 opened 7 years ago by fkromer
  0

• ROS1 parameter type: date

  #21 opened 7 years ago by fkromer
  0

• Design discussion: Enabling maximal customizability and adaptability of composite strategies

  #23 opened 7 years ago by fkromer
  9

• ROS1 geometry_msgs/Pose

  #24 opened 7 years ago by fkromer
  1

• ROS1 geometry_msgs/Quaternion

  #25 opened 7 years ago by fkromer
  1

• ROS1 geometry_msg/Point

  #33 opened 7 years ago by fkromer
  1

• ROS1 geometry_msgs/Vector3

  #36 opened 7 years ago by fkromer
  1

• ROS1 geometry_msgs/Transform

  #37 opened 7 years ago by fkromer
  1

• ROS1 message built-in field type: int64

  #8 opened 7 years ago by fkromer
  1

• ROS1 message built-in field type: uint64

  #9 opened 7 years ago by fkromer
  1

• ROS1 message built-in field type: float32

  #10 opened 7 years ago by fkromer
  1

• ROS1 message built-in field type: float64

  #11 opened 7 years ago by fkromer
  1

• ROS1 message built-in field type: string

  #12 opened 7 years ago by fkromer
  1