#13205
87%

Ran 22 Jan 2024 07:12PM UTC

Jobs 1

Files 706

Run time 58s

Badge

Embed ▾

Committed 22 Jan 2024 07:04PM UTC coverage: 86.863% (+0.002%) from 86.861%

Build # #13205

Build Type

push

github

Committed by

web-flow

Commit Message

fix: Make TypeAdaptor method adaptation thread safe (#5621)

When checking whether a method overrides another, we need to adapt both
methods to a common ground.
In an early version this required cloning the entire method, including
its body, to perform the adaption. PR #4862 fixed this by nulling the
body before cloning the method and then restoring it afterwards. This
operation is not thread safe, as it may write concurrently and also
modifies what other parallel threads might see when traversing the
model.

This patch now introduces a private override specifying whether we are
only interested in the signature. If that is the case, we explicitly
construct a new method using the factory instead of cloning the
original.

Closes: #5619

Co-authored-by: I-Al-Istannen <i-al-istannen@users.noreply.github.com>

Run Details

29339 of 33776 relevant lines covered (86.86%)

0.87 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#13205.1	22 Jan 2024 07:12PM UTC	0	86.86

Source Files on build #13205

Detailed source file information is not available for this build.

INRIA / spoon / #13205
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #13205

INRIA / spoon / #13205 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #13205

INRIA / spoon / #13205
87%

README BADGES
x