Fix (or disable) failing tests

DeepseaPlatform / coastal

Concolic analysis tool for Java

https://deepseaplatform.github.io/coastal/

Apache License 2.0

21 stars 9 forks source link

Fix (or disable) failing tests #36

Open jacogeld opened 5 years ago

jacogeld commented 5 years ago

Several tests are failing because of non-determinacy in the run. This should be fixed or at least disable until a better solution is found so that other tests can run.

jacogeld commented 5 years ago

Two failing tests have been disabled (c341e6f10379d3483c34259e7090ec784e098c8d), but the issue will remain open until the tests are fixed properly.