Nightly Distribution of the master branch
Build: #1902 was successful
Job: Default Job was successful
Code commits
Smack (master)
-
Florian Schmaus <flo@geekplace.eu> 2e94599d58e243a618efbd02542364003e5bafaf
Merge pull request #587 from guusdk/sint_fix-annotation-read
[sinttest] Fix processing of SpecificationReference -
Guus der Kinderen d515a24e1cc63c51022c384f6b22a9ac600d0c46 m
[sinttest] Fix processing of SpecificationReference
When refactoring the original implementation, this annotation was expected to be present on methods. It later was changed to be a type-based annotation. This particular usage of the annotation was not properly modified to account for that change.