Skip to content

[BUG] CLI_Test.Generate_Project_Tests fails on some PCs #347

@alexey-utkin

Description

@alexey-utkin

Description
GT CLI_Test.Generate_Project_Tests fails on some PCs

To Reproduce
Mostly it fails on Mac OS and Unix

Environment
Seems that KLEE generates error tests in unpredictable order and we need introduce some synthetic ordering procedure
for results at least in test.

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions