Use dstring constant for invalid pointer #6
Conversation
Use dstring constant for invalid pointer
Merge diffblue/master
Restructured the test generation code
Fix a silly double call of visitor.visit() in full_struct_abstract_objectt
There was a problem hiding this comment.
This PR failed Diffblue compatibility checks (cbmc commit: 88460bb).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/104111746
Status will be re-evaluated on next push.
Common spurious failures:
-
the cbmc commit has disappeared in the mean time (e.g. in a force-push)
-
the author is not in the list of contributors (e.g. first-time contributors).
-
the compatibility was already broken by an earlier merge.
There was a problem hiding this comment.
This PR failed Diffblue compatibility checks (cbmc commit: ce4f7a2).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/104119834
Status will be re-evaluated on next push.
Common spurious failures:
-
the cbmc commit has disappeared in the mean time (e.g. in a force-push)
-
the author is not in the list of contributors (e.g. first-time contributors).
-
the compatibility was already broken by an earlier merge.
No description provided.