in analysis/thread-dump/src/main/java/org/eclipse/jifa/tda/model/Thread.java [51:61]
public boolean equals(Object o) {
if (this == o)
return true;
if (o == null || getClass() != o.getClass())
return false;
Thread thread = (Thread) o;
return osPriority == thread.osPriority && Double.compare(thread.cpu, cpu) == 0 &&
Double.compare(thread.elapsed, elapsed) == 0 && tid == thread.tid && nid == thread.nid &&
lineStart == thread.lineStart && lineEnd == thread.lineEnd && Objects.equals(name, thread.name) &&
osThreadState == thread.osThreadState && type == thread.type;
}