CBMC

cbmc:goto-analyzer-develop

  1. Git
  2. lp:cbmc
  3. goto-analyzer-develop
Last commit made on 2018-01-10
Get this branch:
git clone -b goto-analyzer-develop https://git.launchpad.net/cbmc

Branch merges

Branch information

Name:
goto-analyzer-develop
Repository:
lp:cbmc

Recent commits

2443d4d... by Martin <email address hidden>

Merge pull request #1678 from NlightNFotis/goto-analyzer-develop

Add extra tests for the non-det issue with constants.

c660109... by hannes-steffenhagen-diffblue <email address hidden>

Merge pull request #1690 from hannes-steffenhagen-diffblue/goto_analyzer_develop-original_goto_location_fix

Fix usage of instruction source location

4edf8b6... by Hannes Steffenhagen <email address hidden>

Add regression test for --store-goto-locations json

f89c6ff... by Hannes Steffenhagen <email address hidden>

Fix usage of instruction source location

get_goto_location should be called on the source_locationt contained in
the instruction, rather than on the one in the code of the instruction,
as that is where they are stored in store_goto_locations

3bdabf2... by Chris Ryder <email address hidden>

Merge pull request #1676 from hannes-steffenhagen-diffblue/goto-analyzer-develop_fix-bitfield

Fixes use of wrong identifier when pretty printing bitfield types

defda7b... by Hannes Steffenhagen <email address hidden>

Uses alternatives to get_string in type2name when possible

bacb1d5... by Hannes Steffenhagen <email address hidden>

Adds regression test for bitfield naming bug

ade0b9c... by Fotis Koutoulakis <email address hidden>

Add extra tests for the non-det issue with constants.

34e6f54... by Martin <email address hidden>

Merge pull request #1674 from NlightNFotis/test_pb4_fix

Fix a problem with functions with the same name crashing the dependency graph.

cb04798... by Hannes Steffenhagen <email address hidden>

Fixes use of wrong identifier when pretty printing bitfield types