8000 mcsimgrid: exhaustive search off/on · Issue #266 · simgrid/simgrid · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
mcsimgrid: exhaustive search off/on #266
New issue
New issue
Open
Open
mcsimgrid: exhaustive search off/on#266
Labels
model-checker
@sthibaul

Description

@sthibaul
sthibaul
opened on May 31, 2018

At HAC-SPECIS, we have thought, to limit the explosion of possibilities to explore, to be able to enable/disable exhaustive search, something like

bool set_exhaustive(bool set);

which would set the flag for the current thread. That way, we can enable exhaustive search only for the application module to be model-checked.

Metadata

Metadata

Assignees

No one assigned

    Labels

    model-checker

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0