Skip to content

Doxygen comment on get_writeable_symbol #2492

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

Conversation

NathanJPhillips
Copy link
Contributor

Also removed unused parameter that was originally intended to be used as a safety check

Also removed unused parameter that was originally intended to be used as a safety check
Copy link
Contributor

@allredj allredj left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Passed Diffblue compatibility checks (cbmc commit: 76eaf86).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/77617513

@tautschnig tautschnig merged commit b4f5800 into diffblue:develop Jul 2, 2018
@NathanJPhillips NathanJPhillips deleted the doc/get_writeable_symbol branch July 3, 2018 17:56
NathanJPhillips added a commit to NathanJPhillips/cbmc that referenced this pull request Aug 22, 2018
f90ed9e Merge pull request diffblue#2515 from NathanJPhillips/feature/ignored-methods
4a12a29 Prevent crash when only instance of class is marked as an overlay
841313d Add ability to mark methods as ignored (not loaded)
0c20014 Merge pull request diffblue#2513 from tautschnig/clean
4c14354 Merge pull request diffblue#2490 from tautschnig/switch-range
72b92a4 Merge pull request diffblue#2471 from tautschnig/vs-non-static
1941c6c Merge pull request diffblue#2508 from tautschnig/skip-typecast
a9e4ce9 Merge pull request diffblue#2512 from tautschnig/fix-typo
2be11f3 Make "clean" target in regression tests do full cleanup
97e9314 Do not hardcode tests.log as option -s <suffix> may be in use
ad1f266 Fix typo seperated -> separated
15d4307 Evaluate expressions that delimit GCC switch/case ranges
770b779 Make skip_typecast widely available
b4f5800 Merge pull request diffblue#2492 from NathanJPhillips/doc/get_writeable_symbol
b58813b Merge pull request diffblue#2479 from thk123/bugfix/TG-3908/give-string-objects-names
fd2f21e Use new method to set the name
190b485 Introduce method for getting the name of of java_class_type
ffbb83f Merge pull request diffblue#2496 from diffblue/compilation-instructions2
594c2f2 unzip is needed on Debian, plus say how to build jbmc on Windows
dabc169 Given string types an appropriate name
76eaf86 Doxygen comment on get_writeable_symbol
7191f23 Do not unnecessarily mark local variables static

git-subtree-dir: cbmc
git-subtree-split: f90ed9e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants