Skip to content

Test case generation hangs from time to time #4

@yallop

Description

@yallop

For example, running test_re.ml with --seed 1916785 runs up to the following point:

Regex: ([ba]+)&(b{2,})

and then hangs, apparently stuck in the code that's generating the next sample input.

I don't know whether the next sample will be produced eventually, but the delay is sometimes at least long enough to time-out a Travis run:

No output has been received in the last 10m0s, this potentially indicates a stalled build or something wrong with the build itself.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions