Bisect's runtime seeds the global random number generator #344

Closed

Closed

Bisect's runtime seeds the global random number generator#344

Labels

opened

on Oct 27, 2020

bisect_ppx/src/common/bisect_common.ml

Lines 174 to 175 in 9bdc5da

    
           let () = 
        
             Random.self_init ()

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests