Skip to content

Failing tests due to full-slice #515

New issue
New issue
Closed
Closed
Failing tests due to full-slice#515
Assignees
lucasccordeiro
@peterschrammel

Description

@peterschrammel
peterschrammel
opened on Feb 8, 2017

Failing tests have been committed as part of #479.
Please mark failing tests as KNOWNBUG unless there is a PR that fixes them.

Activity

peterschrammel
assigned
lucasccordeiro
on Feb 8, 2017
peterschrammel
changed the title [-]Failing tests due to #479[/-] [+]Failing tests due to full-slice[/+] on Feb 8, 2017
lucasccordeiro

lucasccordeiro commented on Feb 9, 2017

@lucasccordeiro
lucasccordeiro
on Feb 9, 2017
Contributor

@peterschrammel: can you please specify which test cases are failing? I have marked all failing tests as KNOWNBUG.

peterschrammel

peterschrammel commented on Feb 9, 2017

@peterschrammel
peterschrammel
on Feb 9, 2017
MemberAuthor

https://travis-ci.org/diffblue/cbmc/jobs/199721828#L1781

lucasccordeiro
mentioned this on Feb 9, 2017
lucasccordeiro

lucasccordeiro commented on Feb 9, 2017

@lucasccordeiro
lucasccordeiro
on Feb 9, 2017
Contributor

Thanks, @peterschrammel. This PR #518 should fix the problem.

kroening
closed this as completedin 66ece05on Feb 9, 2017
NathanJPhillips
added 2 commits that reference this issue on Aug 22, 2018

Squashed 'benchmarks/LIBRARIES/models/' changes from 1e8b77c83..24023…

54a95ff

Merge pull request diffblue#515 from diffblue/jd/feature/AEPD_unit_tests

83af84a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

    Development

    No branches or pull requests

      Participants

      @lucasccordeiro@peterschrammel

      Issue actions
        Failing tests due to full-slice · Issue #515 · diffblue/cbmc