WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Refactor basic block detection of coverage goal instrumenter #1686

New issue
New issue
Open
#8781
Open
Refactor basic block detection of coverage goal instrumenter#1686
#8781
Labels
pending merge
@peterschrammel

Description

@peterschrammel
peterschrammel
opened on Dec 29, 2017
  • Basic block detection on a goto program should become a utility function similar to loop detection.
  • Also language-specific should become pluggable
  • Some control over whether assume statements delimit basic blocks should be added

Metadata

Metadata

Assignees

No one assigned

    Labels

    pending merge

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions