private static List getUserTrace()

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;
  }