Shuai Wang issues

Repositories
Issues
Comments

Results 3 issues of


                                            Shuai Wang

How could JQF handle environment variables & system properties from Maven Surefire?

Some tests will run with environment variables and system properties that are set in Maven Surefire from the Maven pom.xml file. However, those environment variables and system properties are not...

[BUG] `force.all` and `force.failing` do not work with Maven mode

### Bug description: When using Ekstazi with maven, `force.all` and `force.failing` do not work as expected. To be more specific, if there is no code change, Ekstazi will not rerun...

ZestGuidance does not correctly udpate total Coverage when test fails under every inputs

## What happened: When fuzzing a test that will fail under every input, ZestGuidance does not correctly compute the Total Coverage. To be more specific, the total coverage always shows...