Code

Fix255#268

Code

Closed

lucasccordeiro wants to merge 73 commits intodiffblue:masterdiffblue/cbmc:masterfrom

lucasccordeiro:fix255lucasccordeiro/cbmc:fix255Copy head branch name to clipboard

Commits

Commits on Sep 14, 2016

• add the option existing-coverage

  Show description for 64e9512
  lucasccordeiro

  committed
  64e9512

  Copy full SHA for 64e9512

• check whether the user has provided a valid json file for --existing-coverage

  Show description for 5da372f
  lucasccordeiro

  committed
  5da372f

  Copy full SHA for 5da372f

• get the line of each goal

  Show description for 40aa14a
  lucasccordeiro

  committed
  40aa14a

  Copy full SHA for 40aa14a

• generate goals only if they do not exist in the json file

  Show description for ac40ed5
  lucasccordeiro

  committed
  ac40ed5

  Copy full SHA for ac40ed5

• refactor the code for checking existing coverage

  Show description for 14e5dc5
  lucasccordeiro

  committed
  14e5dc5

  Copy full SHA for 14e5dc5

• add test cases to check existing coverage

  Show description for 97ebd80
  lucasccordeiro

  committed
  97ebd80

  Copy full SHA for 97ebd80

• add more test cases to check existing coverage

  Show description for 3895bdc
  lucasccordeiro

  committed
  3895bdc

  Copy full SHA for 3895bdc

• add more test cases to check existing coverage

  Show description for 766d221
  lucasccordeiro

  committed
  766d221

  Copy full SHA for 766d221

• remove whitespace

  Show description for 9a4a1f9
  lucasccordeiro

  committed
  9a4a1f9

  Copy full SHA for 9a4a1f9

• code refactoring to check existing goals

  Show description for 84f0330
  lucasccordeiro

  committed
  84f0330

  Copy full SHA for 84f0330

• replace coverage_goals by coverage_goalst

  Show description for 2be7e4e
  lucasccordeiro

  committed
  2be7e4e

  Copy full SHA for 2be7e4e

• default variant of instrument_cover_goals that uses an empty set of existing goals

  Show description for 8266595
  lucasccordeiro

  committed
  8266595

  Copy full SHA for 8266595

• a goal should be identified by a source_locationt

  Show description for cf1fdea
  lucasccordeiro

  committed
  cf1fdea

  Copy full SHA for cf1fdea

• implement get_coverage method

  Show description for 031603b
  lucasccordeiro

  committed
  031603b

  Copy full SHA for 031603b

• a goal should be identified by a source_locationt

  Show description for 270dea2
  lucasccordeiro

  committed
  270dea2

  Copy full SHA for 270dea2

• method to construct a coverage_goalst object

  Show description for 76b4a34
  lucasccordeiro

  committed
  76b4a34

  Copy full SHA for 76b4a34

• remove iostream

  Show description for 863f904
  lucasccordeiro

  committed
  863f904

  Copy full SHA for 863f904

• use json file suggested at github issue #187

  Show description for 5bcc815
  lucasccordeiro

  committed
  5bcc815

  Copy full SHA for 5bcc815

• use json file as suggested at github issue #187

  Show description for 138f89c
  lucasccordeiro

  committed
  138f89c

  Copy full SHA for 138f89c

• remove space

  Show description for 48e5ebb
  lucasccordeiro

  committed
  48e5ebb

  Copy full SHA for 48e5ebb

Commits on Sep 19, 2016

• fix merge

  Show description for 7e39b53
  lucasccordeiro

  committed
  7e39b53

  Copy full SHA for 7e39b53

Commits on Sep 21, 2016

• add the option existing-coverage

  Show description for 5a8f14d
  lucasccordeiro

  committed
  5a8f14d

  Copy full SHA for 5a8f14d

• check whether the user has provided a valid json file for --existing-coverage

  Show description for e067182
  lucasccordeiro

  committed
  e067182

  Copy full SHA for e067182

• get the line of each goal

  Show description for c904f8c
  lucasccordeiro

  committed
  c904f8c

  Copy full SHA for c904f8c

• generate goals only if they do not exist in the json file

  Show description for a7e7836
  lucasccordeiro

  committed
  a7e7836

  Copy full SHA for a7e7836

• refactor the code for checking existing coverage

  Show description for b688f1c
  lucasccordeiro

  committed
  b688f1c

  Copy full SHA for b688f1c

• add test cases to check existing coverage

  Show description for 74b76f6
  lucasccordeiro

  committed
  74b76f6

  Copy full SHA for 74b76f6

• add more test cases to check existing coverage

  Show description for a338c82
  lucasccordeiro

  committed
  a338c82

  Copy full SHA for a338c82

• add more test cases to check existing coverage

  Show description for 77669df
  lucasccordeiro

  committed
  77669df

  Copy full SHA for 77669df

• remove whitespace

  Show description for ab727a2
  lucasccordeiro

  committed
  ab727a2

  Copy full SHA for ab727a2

• code refactoring to check existing goals

  Show description for 3cb0e28
  lucasccordeiro

  committed
  3cb0e28

  Copy full SHA for 3cb0e28

• replace coverage_goals by coverage_goalst

  Show description for 7eb566d
  lucasccordeiro

  committed
  7eb566d

  Copy full SHA for 7eb566d

• default variant of instrument_cover_goals that uses an empty set of existing goals

  Show description for c2b6344
  lucasccordeiro

  committed
  c2b6344

  Copy full SHA for c2b6344

• a goal should be identified by a source_locationt

  Show description for 1100815
  lucasccordeiro

  committed
  1100815

  Copy full SHA for 1100815

• implement get_coverage method

  Show description for 100d6c8
  lucasccordeiro

  committed
  100d6c8

  Copy full SHA for 100d6c8

• a goal should be identified by a source_locationt

  Show description for a758710
  lucasccordeiro

  committed
  a758710

  Copy full SHA for a758710

• method to construct a coverage_goalst object

  Show description for 50caf55
  lucasccordeiro

  committed
  50caf55

  Copy full SHA for 50caf55

• remove iostream

  Show description for e2e8a80
  lucasccordeiro

  committed
  e2e8a80

  Copy full SHA for e2e8a80

• use json file suggested at github issue #187

  Show description for ec445c9
  lucasccordeiro

  committed
  ec445c9

  Copy full SHA for ec445c9

• use json file as suggested at github issue #187

  Show description for d22e9c5
  lucasccordeiro

  committed
  d22e9c5

  Copy full SHA for d22e9c5

• remove space

  Show description for 11b5fc1
  lucasccordeiro

  committed
  11b5fc1

  Copy full SHA for 11b5fc1

• fix merge

  Show description for b7a0afb
  lucasccordeiro

  committed
  b7a0afb

  Copy full SHA for b7a0afb

• fix merge

  Show description for b0bc02b
  lucasccordeiro

  committed
  b0bc02b

  Copy full SHA for b0bc02b

Commits on Oct 19, 2016

• add the option existing-coverage

  Show description for d42ad2d
  lucasccordeiro

  committed
  d42ad2d

  Copy full SHA for d42ad2d

• check whether the user has provided a valid json file for --existing-coverage

  Show description for a514fd2
  lucasccordeiro

  committed
  a514fd2

  Copy full SHA for a514fd2

• get the line of each goal

  Show description for 8ee2d05
  lucasccordeiro

  committed
  8ee2d05

  Copy full SHA for 8ee2d05

• generate goals only if they do not exist in the json file

  Show description for 5f7f28d
  lucasccordeiro

  committed
  5f7f28d

  Copy full SHA for 5f7f28d

• refactor the code for checking existing coverage

  Show description for 4496ee7
  lucasccordeiro

  committed
  4496ee7

  Copy full SHA for 4496ee7

• add test cases to check existing coverage

  Show description for 1db39f4
  lucasccordeiro

  committed
  1db39f4

  Copy full SHA for 1db39f4

• add more test cases to check existing coverage

  Show description for 8bd413a
  lucasccordeiro

  committed
  8bd413a

  Copy full SHA for 8bd413a

• add more test cases to check existing coverage

  Show description for c4dbf20
  lucasccordeiro

  committed
  c4dbf20

  Copy full SHA for c4dbf20

• remove whitespace

  Show description for 00f8f33
  lucasccordeiro

  committed
  00f8f33

  Copy full SHA for 00f8f33

• code refactoring to check existing goals

  Show description for e6dc38b
  lucasccordeiro

  committed
  e6dc38b

  Copy full SHA for e6dc38b

• replace coverage_goals by coverage_goalst

  Show description for a15c500
  lucasccordeiro

  committed
  a15c500

  Copy full SHA for a15c500

• default variant of instrument_cover_goals that uses an empty set of existing goals

  Show description for cbc6e26
  lucasccordeiro

  committed
  cbc6e26

  Copy full SHA for cbc6e26

• a goal should be identified by a source_locationt

  Show description for 106f7bd
  lucasccordeiro

  committed
  106f7bd

  Copy full SHA for 106f7bd

• implement get_coverage method

  Show description for 5cf4a86
  lucasccordeiro

  committed
  5cf4a86

  Copy full SHA for 5cf4a86

• a goal should be identified by a source_locationt

  Show description for 05896a6
  lucasccordeiro

  committed
  05896a6

  Copy full SHA for 05896a6

• method to construct a coverage_goalst object

  Show description for a66ed50
  lucasccordeiro

  committed
  a66ed50

  Copy full SHA for a66ed50

• remove iostream

  Show description for 5958459
  lucasccordeiro

  committed
  5958459

  Copy full SHA for 5958459

• use json file suggested at github issue #187

  Show description for 19788f0
  lucasccordeiro

  committed
  19788f0

  Copy full SHA for 19788f0

• use json file as suggested at github issue #187

  Show description for 2a96477
  lucasccordeiro

  committed
  2a96477

  Copy full SHA for 2a96477

• remove space

  Show description for 420f38b
  lucasccordeiro

  committed
  420f38b

  Copy full SHA for 420f38b

• fix merge

  Show description for cc0187c
  lucasccordeiro

  committed
  cc0187c

  Copy full SHA for cc0187c

• fix merge

  Show description for f2023f2
  lucasccordeiro

  committed
  f2023f2

  Copy full SHA for f2023f2

Commits on Oct 21, 2016

• add test case location10 to check --cover in the presence of unreachable functions and assumes

  Show description for a7cf0f8
  lucasccordeiro

  committed
  a7cf0f8

  Copy full SHA for a7cf0f8

• add test case location11 to check --cover in the presence of unreachable functions and assumes

  Show description for e51488f
  lucasccordeiro

  committed
  e51488f

  Copy full SHA for e51488f

Commits on Oct 26, 2016

• added test case to check the behaviour of --cover in the presence of unreachable assumes

  Show description for af26c6d
  lucasccordeiro

  committed
  af26c6d

  Copy full SHA for af26c6d

• added test case to check the behaviour of --cover in the presence of unreachable assumes

  Show description for a5868ae
  lucasccordeiro

  committed
  a5868ae

  Copy full SHA for a5868ae

• added location14 to check the behaviour of --cover in the presence of unreachable function

  Show description for fe52c6d
  lucasccordeiro

  committed
  fe52c6d

  Copy full SHA for fe52c6d

• fix test cases location11 and location12

  Show description for 43dc052
  lucasccordeiro

  committed
  43dc052

  Copy full SHA for 43dc052

• added location15 to check the behaviour of --cover in the presence of unreachable function and assume

  Show description for 8efb139
  lucasccordeiro

  committed
  8efb139

  Copy full SHA for 8efb139

• added location16 to check the behaviour of --cover in the presence of unreachable function

  Show description for 3181b2f
  lucasccordeiro

  committed
  3181b2f

  Copy full SHA for 3181b2f