issues
search
fkromer
/
hypothesis-ros
Data generators for Property Based Testing and Fuzzy Testing of ROS1 nodes.
https://hypothesis-ros.readthedocs.io
Apache License 2.0
15
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix naming convention
#61
ahcorde
closed
5 years ago
1
rosgraph_msgs/Log
#60
XabierPB
closed
5 years ago
1
Generic mapping of rospy message classes to hypothesis-ros strategies
#59
fkromer
opened
6 years ago
2
Call for maintainers
#58
fkromer
opened
6 years ago
2
Improve maintainability
#57
fkromer
opened
6 years ago
0
Improve test coverage
#56
fkromer
opened
6 years ago
0
sensor_msgs/CameraInfo Message
#55
fkromer
closed
6 years ago
0
ROS1 geometry_msgs/PoseWithCovarianceStamped
#54
fkromer
closed
6 years ago
0
Improve message tests to catch potentially wrong mapping of fields
#53
fkromer
closed
6 years ago
0
Improve docstrings
#52
fkromer
opened
6 years ago
0
Fix strategy for std_msgs/Header
#51
fkromer
closed
6 years ago
2
Add changelog file for next release
#50
fkromer
closed
6 years ago
1
Add files read in setup.py as package data
#49
fkromer
opened
6 years ago
0
General review and suggestions
#48
Zac-HD
closed
6 years ago
8
Automate pypi deployment
#47
fkromer
opened
6 years ago
1
Fix travis CI
#46
fkromer
closed
6 years ago
1
Deploy ROS package
#45
fkromer
opened
6 years ago
1
Add documentation about docker-py integration
#44
fkromer
closed
6 years ago
1
Deploy Python package on pypi
#43
fkromer
closed
6 years ago
1
Deploy docs online
#42
fkromer
closed
6 years ago
1
Add documentation about pyros integration
#41
fkromer
opened
6 years ago
0
Design discussion: Package separation due to ROS version incompatibilities
#40
fkromer
closed
6 years ago
3
ROS2 message built-in field type: string
#39
fkromer
closed
6 years ago
1
ROS2 message built-in field type: bool
#38
fkromer
closed
6 years ago
1
ROS1 geometry_msgs/Transform
#37
fkromer
closed
6 years ago
1
ROS1 geometry_msgs/Vector3
#36
fkromer
closed
6 years ago
1
feat: add time generator
#35
Minipada
closed
6 years ago
5
Add support for lazy strategy argument validation
#34
fkromer
closed
6 years ago
3
ROS1 geometry_msg/Point
#33
fkromer
closed
6 years ago
1
add date generator
#32
Minipada
closed
6 years ago
3
Add documentation about pytest integration
#31
fkromer
opened
6 years ago
0
Add documentation about hypothesis integration
#30
fkromer
closed
6 years ago
2
ROS1 variable-length array
#29
fkromer
closed
6 years ago
1
ROS1 fixed-length array
#28
fkromer
closed
6 years ago
1
ROS1 sensor_msgs/Imu
#27
fkromer
closed
6 years ago
1
ROS1 std_msgs/Header
#26
fkromer
closed
6 years ago
1
ROS1 geometry_msgs/Quaternion
#25
fkromer
closed
6 years ago
1
ROS1 geometry_msgs/Pose
#24
fkromer
closed
6 years ago
1
Design discussion: Enabling maximal customizability and adaptability of composite strategies
#23
fkromer
closed
6 years ago
9
ROS2 parameter type: int64
#22
fkromer
closed
6 years ago
1
ROS1 parameter type: date
#21
fkromer
closed
6 years ago
0
ROS1 parameter type: list
#20
fkromer
closed
6 years ago
1
ROS1 parameter type: string
#19
fkromer
closed
6 years ago
1
ROS1 parameter type: double
#18
fkromer
closed
6 years ago
1
ROS1 parameter type: string
#17
fkromer
closed
6 years ago
1
ROS1 parameter type: bool
#16
fkromer
closed
6 years ago
1
ROS1 parameter type: int32
#15
fkromer
closed
6 years ago
1
ROS1 message built-in field type: duration
#14
fkromer
closed
6 years ago
1
ROS1 message built-in field type: time
#13
fkromer
closed
6 years ago
2
ROS1 message built-in field type: string
#12
fkromer
closed
6 years ago
1
Next