Code

Update test-gen-support from master#941

Code

Merged

smowton merged 137 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

thk123:update-to-master-19-05-17thk123/cbmc:update-to-master-19-05-17Copy head branch name to clipboard

May 24, 2017

Commits

Commits on Apr 8, 2017

• Regression tests for not instrumenting built-ins

  peterschrammel

  committed
  c393197

  Copy full SHA for c393197

• Ignore built-in functions and instructions inlined from built-ins during cover instrumentation

  Show description for 12d6582
  peterschrammel

  committed
  12d6582

  Copy full SHA for 12d6582

Commits on Apr 19, 2017

• Add documentation to irep_ids

  reuk

  committed
  bfeea76

  Copy full SHA for bfeea76

Commits on Apr 20, 2017

• add visibility information for fields and methods

  

  Matthias Güdemann

  committed
  dbb9cfd

  Copy full SHA for dbb9cfd

Commits on Apr 21, 2017

• Lazy loading: load static initializers for needed classes. Fixes #846

  Show description for 286fcc5
  smowton

  committed
  286fcc5

  Copy full SHA for 286fcc5

Commits on Apr 24, 2017

• Improve style in goto_program_template.h

  Show description for 3ee1918
  reuk

  committed
  3ee1918

  Copy full SHA for 3ee1918

• Fixed inefficiency and failure to pass on parameter

  Show description for cd72883
  NathanJPhillips

  committed
  cd72883

  Copy full SHA for cd72883

Commits on Apr 25, 2017

• Fix formatting in cegis-util/type_helper.cpp

  reuk

  committed
  d85487c

  Copy full SHA for d85487c

• Remove an unused conversion function that is broken anyway, and tidy utf32 to utf8.

  forejtv

  committed
  549e589

  Copy full SHA for 549e589

• Change utf8 to utf16 conversion to not require codecvt.

  Show description for 49b77ce
  forejtv

  committed
  49b77ce

  Copy full SHA for 49b77ce

Commits on Apr 26, 2017

• Add CBMC package build file for Arch Linux

  

  Vlastimil Zeman

  committed
  735c152

  Copy full SHA for 735c152

• Build cleanly without globally disabling warnings

  Show description for 1dc27ae
  reuk

  committed
  1dc27ae

  Copy full SHA for 1dc27ae

• Remove unnecessary flags from travis.yml

  reuk

  committed
  130287f

  Copy full SHA for 130287f

• Remove unnecessary asserts

  reuk

  committed
  16ff24b

  Copy full SHA for 16ff24b

• Give pragma files a '.def' suffix

  reuk

  committed
  24fd67b

  Copy full SHA for 24fd67b

Commits on Apr 27, 2017

• Merge pull request #875 from zemanlx/feature/arch-package

  Show description for b0196c5
  

  Daniel Kroening

  authored
  b0196c5

  Copy full SHA for b0196c5

• Merge pull request #868 from forejtv/feature/unicode-cleanup

  Show description for 065810f
  

  Daniel Kroening

  authored
  065810f

  Copy full SHA for 065810f

• Merge pull request #867 from reuk/linter-complaint-master

  Show description for 05a4ef6
  

  Daniel Kroening

  authored
  05a4ef6

  Copy full SHA for 05a4ef6

• Merge pull request #855 from smowton/fix/lazy_methods_and_clinit

  Show description for 10015b1
  

  Daniel Kroening

  authored
  10015b1

  Copy full SHA for 10015b1

• Merge pull request #847 from mgudemann/feature/java_visibility

  Show description for 9e42f4f
  

  Daniel Kroening

  authored
  9e42f4f

  Copy full SHA for 9e42f4f

Commits on Apr 28, 2017

• Merge pull request #842 from reuk/irep-ids-doc

  Show description for 923c43d
  

  Daniel Kroening

  authored
  923c43d

  Copy full SHA for 923c43d

• Fix return of temporary ref in ssa_exprt

  Show description for 3c98129
  reuk

  committed
  3c98129

  Copy full SHA for 3c98129

Commits on May 2, 2017

• comment on division by zero

  

  Daniel Kroening

  committed
  606bba4

  Copy full SHA for 606bba4

• Adapted DLFCN variable in CEGIS Makefile

  Show description for dab1510
  pkesseli

  committed
  dab1510

  Copy full SHA for dab1510

Commits on May 3, 2017

• Merge pull request #881 from reuk/ref-to-tmp-fix

  Show description for 832eb93
  

  Daniel Kroening

  authored
  832eb93

  Copy full SHA for 832eb93

• Merge pull request #859 from reuk/goto-prog-style

  Show description for cf1b4b4
  

  Daniel Kroening

  authored
  cf1b4b4

  Copy full SHA for cf1b4b4

Commits on May 4, 2017

• Clean up code

  Show description for 443225c
  

  Owen Jones

  committed
  443225c

  Copy full SHA for 443225c

• cegis now lives in a separate repo

  

  Daniel Kroening

  committed
  024214b

  Copy full SHA for 024214b

• cegis now lives in separate repo ; removed the cegis tests

  

  Daniel Kroening

  committed
  e7fb0fb

  Copy full SHA for e7fb0fb

• Merge pull request #888 from owen-jones-diffblue/cleanup/using-expr2ct-convert

  Show description for 1da7775
  

  Daniel Kroening

  authored
  1da7775

  Copy full SHA for 1da7775

• removed cegis.dir build from Travis

  

  Daniel Kroening

  committed
  cdf7180

  Copy full SHA for cdf7180

• Merge pull request #862 from NathanJPhillips/bugfix/inlining-errors

  Show description for f185cfd
  

  Daniel Kroening

  authored
  f185cfd

  Copy full SHA for f185cfd

Commits on May 5, 2017

• fix division by zero comment

  

  Daniel Kroening

  committed
  163dfb3

  Copy full SHA for 163dfb3

Commits on May 7, 2017

• Deleted copy/added move constructor.

  Show description for 68e1595
  pkesseli

  committed
  68e1595

  Copy full SHA for 68e1595

• Added explicit move constructor to temporary_filet

  Show description for f107f21
  pkesseli

  committed
  f107f21

  Copy full SHA for f107f21

Commits on May 8, 2017

• Moved vector_hasht implementation into cpp file

  Show description for f34b705
  NathanJPhillips

  committed
  f34b705

  Copy full SHA for f34b705

• Merge pull request #893 from pkesseli/tempfile-copy-move

  Show description for 839394d
  

  Daniel Kroening

  authored
  839394d

  Copy full SHA for 839394d

Commits on May 9, 2017

• Merge pull request #873 from reuk/pedantic-fix

  Show description for 448853c
  

  Daniel Kroening

  authored
  448853c

  Copy full SHA for 448853c

• Avoid unlink call on empty string

  Show description for 4bc2e72
  pkesseli

  committed
  4bc2e72

  Copy full SHA for 4bc2e72

• Fixed warning in unicode.cpp causing build failure

  NathanJPhillips

  committed
  7e63380

  Copy full SHA for 7e63380

• Enabled warnings as errors in config.inc to match travis settings

  Show description for 10eb073
  NathanJPhillips

  committed
  10eb073

  Copy full SHA for 10eb073

• Merge pull request #897 from NathanJPhillips/bugfix/warning-in-unicode

  Show description for eac93e3
  

  Daniel Kroening

  authored
  eac93e3

  Copy full SHA for eac93e3

• Fixed format according to linter message.

  pkesseli

  committed
  ea526d0

  Copy full SHA for ea526d0

Commits on May 10, 2017

• Basic harness for unit tests

  Show description for 3391d45
  

  thk123

  committed
  3391d45

  Copy full SHA for 3391d45

• Add unit tests to the CI files

  Show description for de73265
  

  thk123

  committed
  de73265

  Copy full SHA for de73265

• Updated coding standard to explain unit testing

  Show description for b22210d
  

  thk123

  committed
  b22210d

  Copy full SHA for b22210d

• Renamed exe and added exes to gitignore

  

  thk123

  committed
  760e1fc

  Copy full SHA for 760e1fc

• Merge pull request #895 from NathanJPhillips/cleanup/break-irep-hash-dependency

  Show description for 915b488
  

  Daniel Kroening

  authored
  915b488

  Copy full SHA for 915b488

Commits on May 11, 2017

• added multi_ary_exprt

  

  Daniel Kroening

  committed
  3f1afed

  Copy full SHA for 3f1afed

• use multi_ary_exprt

  

  Daniel Kroening

  committed
  35eb739

  Copy full SHA for 35eb739

• do __builtin_convertvector

  

  Daniel Kroening

  committed
  aca7419

  Copy full SHA for aca7419

• Replaced get_goto_modelt with initialize_goto_model

  Show description for 969eaa6
  NathanJPhillips

  committed
  969eaa6

  Copy full SHA for 969eaa6

• Renamed initialize_goto_model files

  NathanJPhillips

  committed
  cfad717

  Copy full SHA for cfad717

Commits on May 12, 2017

• __CPROVER_isinf heading

  

  Daniel Kroening

  committed
  0f08b58

  Copy full SHA for 0f08b58

• a paragraph on __CPROVER_cover

  

  Daniel Kroening

  committed
  b321b4a

  Copy full SHA for b321b4a

• Merge pull request #292 from peterschrammel/do-not-instrument-built-ins

  Show description for bab30f9
  

  Daniel Kroening

  authored
  bab30f9

  Copy full SHA for bab30f9

• Enable goto_modelt move assignment

  Show description for 8c4d8c5
  NathanJPhillips

  committed
  8c4d8c5

  Copy full SHA for 8c4d8c5

• Removed copy constructor from goto_function_templatet

  Show description for 389fbcd
  NathanJPhillips

  committed
  389fbcd

  Copy full SHA for 389fbcd

• formatting

  

  Daniel Kroening

  committed
  9755f6f

  Copy full SHA for 9755f6f

• Coverage Criteria

  

  Daniel Kroening

  committed
  b1e9fc0

  Copy full SHA for b1e9fc0

• beautify coverage table

  

  Daniel Kroening

  committed
  23e2eae

  Copy full SHA for 23e2eae

• beautify coverage table

  

  Daniel Kroening

  committed
  064f648

  Copy full SHA for 064f648

Commits on May 14, 2017

• Use strong enum in custom_bitvector_analysis

  reuk

  committed
  b0b0e23

  Copy full SHA for b0b0e23

• Use strong enum in dependence_graph

  reuk

  committed
  8069c83

  Copy full SHA for 8069c83

• Use strong enum in goto_rw

  reuk

  committed
  6d888c2

  Copy full SHA for 6d888c2

• Use new enum syntax in local_bitvector_analysis

  reuk

  committed
  617a6fb

  Copy full SHA for 617a6fb

• Use strong enum in ansi_c_parser

  reuk

  committed
  e2c436a

  Copy full SHA for e2c436a

Commits on May 15, 2017

• Rename convert to convert_with_precedence

  Show description for 351e3a7
  

  Owen Jones

  committed
  351e3a7

  Copy full SHA for 351e3a7

• Use strong enum in ansi_c_scope

  reuk

  committed
  166c2bd

  Copy full SHA for 166c2bd

• Use strong enum in cpp_id.h

  reuk

  committed
  b40a351

  Copy full SHA for b40a351

• Use strong enum in cpp_typecheck_resolve

  reuk

  committed
  66135c9

  Copy full SHA for 66135c9

• Use strong enum in cpp/parse

  Show description for 3d68275
  reuk

  committed
  3d68275

  Copy full SHA for 3d68275

• Use strong enum in change_impact

  Show description for f2b3d5f
  reuk

  committed
  f2b3d5f

  Copy full SHA for f2b3d5f

• Use strong enum in object_id

  reuk

  committed
  5c474b4

  Copy full SHA for 5c474b4

• Use strong enum in unwind

  reuk

  committed
  eed1b59

  Copy full SHA for eed1b59

• Use strong enum in abstract_event

  reuk

  committed
  5b59675

  Copy full SHA for 5b59675

• Use new enum syntax in wmm

  reuk

  committed
  fe145a2

  Copy full SHA for fe145a2

• Use new enum syntax in elf_reader

  reuk

  committed
  fff0dbf

  Copy full SHA for fff0dbf

• Use strong enum in format_strings

  reuk

  committed
  1355db6

  Copy full SHA for 1355db6

• Use strong enum in goto_trace

  reuk

  committed
  6dfa028

  Copy full SHA for 6dfa028

• Use strong enum in property_checker

  reuk

  committed
  5e24f7c

  Copy full SHA for 5e24f7c

• Use strong enum in safety_checker

  reuk

  committed
  c090958

  Copy full SHA for c090958

• Use string enum in string_abstraction

  reuk

  committed
  5fb4ca0

  Copy full SHA for 5fb4ca0

• Use strong enum in wp

  reuk

  committed
  7413755

  Copy full SHA for 7413755

• Use strong enum in find_symbols

  reuk

  committed
  b99dcdc

  Copy full SHA for b99dcdc

• Use new enum syntax in goto_symex_state

  reuk

  committed
  3f3d6ea

  Copy full SHA for 3f3d6ea

• Use new enum syntax in partial_order_concurrency

  reuk

  committed
  803b5d9

  Copy full SHA for 803b5d9

• Use strong enum in symex_target

  reuk

  committed
  a65b8ff

  Copy full SHA for a65b8ff

• Use new enum syntax in java_bytecode-convert_method_class

  reuk

  committed
  155cb67

  Copy full SHA for 155cb67

• Use new enum syntax in fence_inserter

  reuk

  committed
  49a7a02

  Copy full SHA for 49a7a02

• Use new enum syntax in infer_mode

  reuk

  committed
  a990c2c

  Copy full SHA for a990c2c

• Use strong enum in value_set_dereference

  reuk

  committed
  60de3da

  Copy full SHA for 60de3da

• Use strong enum in ui_message

  reuk

  committed
  c3c6706

  Copy full SHA for c3c6706

• Use strong enum in json

  reuk

  committed
  84a8106

  Copy full SHA for 84a8106

• Use new enum syntax in ieee_float

  reuk

  committed
  4b6edc0

  Copy full SHA for 4b6edc0

• Use strong enum in format_spec

  reuk

  committed
  79eab3f

  Copy full SHA for 79eab3f

• Use strong enum in decision_procedure

  reuk

  committed
  5526b1a

  Copy full SHA for 5526b1a

• Use strong enum in smt1_conv

  reuk

  committed
  0ceedff

  Copy full SHA for 0ceedff

• Use strong enums in smt2_conv

  reuk

  committed
  c688bad

  Copy full SHA for c688bad

• Use strong enum in cnf

  reuk

  committed
  f614e54

  Copy full SHA for f614e54

• Use strong enum in qbf_cnf

  reuk

  committed
  d9ba0e4

  Copy full SHA for d9ba0e4

• Use strong enum in prop_conv_store

  reuk

  committed
  d0e7285

  Copy full SHA for d0e7285

• Use strong enum in prop

  reuk

  committed
  b950563

  Copy full SHA for b950563

• Use strong enum in arrays

  Show description for 2f989d1
  reuk

  committed
  2f989d1

  Copy full SHA for 2f989d1

• Use strong enum in boolbv

  reuk

  committed
  7e2ba33

  Copy full SHA for 7e2ba33

• Use strong enum in boolbv_map

  Show description for 1c65fe4
  reuk

  committed
  1c65fe4

  Copy full SHA for 1c65fe4

• Use strong enum in bv_utils

  reuk

  committed
  5a46f0e

  Copy full SHA for 5a46f0e

• Use strong enum in float_bv

  reuk

  committed
  d0f9e43

  Copy full SHA for d0f9e43

• Use strong enum in float_utils

  reuk

  committed
  6135bdb

  Copy full SHA for 6135bdb

• Use new enum syntax in qdimacs_core

  reuk

  committed
  d573bf2

  Copy full SHA for d573bf2

• Use new enum syntax in satcheck_zchaff

  reuk

  committed
  5027947

  Copy full SHA for 5027947

• Merge pull request #916 from owen-jones-diffblue/cleanup/using-expr2ct-convert

  Show description for 947a75c
  

  Daniel Kroening

  authored
  947a75c

  Copy full SHA for 947a75c

• Merge pull request #874 from thk123/feature/unit-test-framework

  Show description for 7e1ba16
  

  Daniel Kroening

  authored
  7e1ba16

  Copy full SHA for 7e1ba16

• Merge pull request #880 from NathanJPhillips/feature/enable-goto-model-move-assignment

  Show description for fc4c0fe
  

  Daniel Kroening

  authored
  fc4c0fe

  Copy full SHA for fc4c0fe

• Merge pull request #904 from NathanJPhillips/cleanup/initialise-goto-model

  Show description for bd37426
  

  Daniel Kroening

  authored
  bd37426

  Copy full SHA for bd37426

Commits on May 16, 2017

• Allow anonymous namespaces

  Show description for ad41375
  

  Owen Jones

  committed
  ad41375

  Copy full SHA for ad41375

• Fix missing += in Makefile that causes issues in building unit test

  NathanJPhillips

  committed
  aa0b340

  Copy full SHA for aa0b340

• Merge pull request #929 from owen-jones-diffblue/doc/coding-standard-anonymous-namespaces

  Show description for d29a873
  

  Daniel Kroening

  authored
  d29a873

  Copy full SHA for d29a873

• Merge pull request #920 from reuk/strongly-typed-enums

  Show description for d4e8149
  

  Daniel Kroening

  authored
  d4e8149

  Copy full SHA for d4e8149

• Merge pull request #899 from pkesseli/tempfile-avoid-unnecessary-unlink

  Show description for b8c59de
  

  Daniel Kroening

  authored
  b8c59de

  Copy full SHA for b8c59de

• Merge pull request #928 from NathanJPhillips/bugfix/unit-Makefile-overrides-LIB

  Show description for 2f0ba52
  

  Daniel Kroening

  authored
  2f0ba52

  Copy full SHA for 2f0ba52

• Fix java argument input declarations

  Show description for c34be32
  

  Owen Jones

  committed
  c34be32

  Copy full SHA for c34be32

• printf formatter supports %e and %E

  

  Daniel Kroening

  committed
  41bc492

  Copy full SHA for 41bc492

• get closer to what implementations do with %g

  

  Daniel Kroening

  committed
  8e532ee

  Copy full SHA for 8e532ee

• Updated Travis to catch warnings in unit tests

  NathanJPhillips

  committed
  31cba6b

  Copy full SHA for 31cba6b

• Add brackets to resolve ambiguity caused by use of bitwise instead of logical operators

  NathanJPhillips

  committed
  f092445

  Copy full SHA for f092445

• test for printf

  

  Daniel Kroening

  committed
  2d31501

  Copy full SHA for 2d31501

• Merge pull request #914 from diffblue/pretty-float

  Show description for dffb4ef
  tautschnig

  authored
  dffb4ef

  Copy full SHA for dffb4ef

Commits on May 17, 2017

• Merge pull request #927 from NathanJPhillips/bugfix/mini_bdd-operators

  Show description for bd4221c
  

  Daniel Kroening

  authored
  bd4221c

  Copy full SHA for bd4221c

Commits on May 18, 2017

• Remove unneeded code

  Show description for b88f98f
  

  Owen Jones

  committed
  b88f98f

  Copy full SHA for b88f98f

• Merge pull request #823 from owen-jones-diffblue/bugfix/java-parameter-declarations-master

  Show description for 0ff98e8
  

  Daniel Kroening

  authored
  0ff98e8

  Copy full SHA for 0ff98e8

• Merge pull request #937 from owen-jones-diffblue/cleanup/using-expr2ct-convert

  Show description for f038ac1
  

  Daniel Kroening

  authored
  f038ac1

  Copy full SHA for f038ac1

Commits on May 19, 2017

• Refactor java argument creation code

  

  Owen Jones

  authored and

  smowton

  committed
  cbbbef6

  Copy full SHA for cbbbef6

• Factor Java object factory

  Show description for 405ce62
  smowton

  committed
  405ce62

  Copy full SHA for 405ce62

• Merge pull request #871 from smowton/refactor-java-object-factory

  Show description for c4412e9
  peterschrammel

  authored
  c4412e9

  Copy full SHA for c4412e9

Commits on May 22, 2017

• Merge commit 'c4412e9' into merge-master-20170522

  smowton

  committed
  f9748b1

  Copy full SHA for f9748b1

Commits on May 23, 2017

• Revert "Remove variable that is always false"

  Show description for 8510374
  

  thk123

  committed
  8510374

  Copy full SHA for 8510374