do not generate models for toString

This commit is contained in:
Owen Mansel-Chan
2024-03-01 09:59:27 +00:00
parent 54031a8187
commit bbf3fa7506

View File

@@ -64,6 +64,7 @@ predicate isUninterestingForModels(Callable c) {
isInTestFile(c.getCompilationUnit().getFile()) or
isInternal(c.getCompilationUnit()) or
c instanceof MainMethod or
c instanceof ToStringMethod or
c instanceof StaticInitializer or
exists(FunctionalExpr funcExpr | c = funcExpr.asMethod()) or
c.getDeclaringType() instanceof TestLibrary or