in src/main/java/org/jetbrains/jetCheck/PropertyFalsified.java [116:126]
private static List<String> getUserTrace(Throwable e) {
List<String> result = new ArrayList<>();
for (StackTraceElement element : e.getStackTrace()) {
String s = element.toString();
if (s.startsWith("org.jetbrains.jetCheck.") && !s.contains("Test.")) {
break;
}
result.add(s);
}
return result;
}