CBMC

cbmc:fix-havoc-params

  1. Git
  2. lp:cbmc
  3. fix-havoc-params
Last commit made on 2018-09-21
Get this branch:
git clone -b fix-havoc-params https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
fix-havoc-params
Repository:
lp:cbmc

Recent commits

d02cf30... by Daniel Kroening <email address hidden>

do not attempt to havoc void-typed objects; fixes issue #2663

9864a22... by Daniel Kroening <email address hidden>

Merge pull request #3002 from tautschnig/struct-class

Move is_class and default_access to struct_union_typet

0e98e1d... by Daniel Kroening <email address hidden>

Merge pull request #3008 from tautschnig/no-base-name

Do not unnecessarily set ID_base_name

13e3a3d... by Daniel Kroening <email address hidden>

Merge pull request #3016 from diffblue/from_integer_negative_natural

API change: from_integer for negative naturals

92eab68... by Daniel Kroening <email address hidden>

API change: from_integer for negative naturals

This changes behavior for the case that from_integer is asked to produce a
natural number that is negative. Previously, a malformed constant_exprt
with nil id was returned; now a precondition fails.

3e8c886... by Michael Tautschnig

Merge pull request #3013 from sonodtt/invariant_cleanup-string_abstraction

Cleanup asserts & throws - replace with invariants

1e32c2f... by Daniel Kroening <email address hidden>

Merge pull request #3011 from diffblue/constructor-cleanup

deprecate 61 partial constructors

f83102b... by Michael Tautschnig

Merge pull request #3010 from diffblue/constant_exprt_constructor

constant_exprt constructor

353c90c... by antlechner <email address hidden>

Merge pull request #2753 from antlechner/antonia/jar-file-loading

Do not load whole jar file when --function is given

165e0e6... by Sonny Martin <email address hidden>

Cleanup asserts & throws - replace with invariants