Prohibit to set static fields from library classes #697 - #699

Merged

sergeypospelov merged 7 commits into

mainfrom

sergey/static_fields_concrete_processing

Aug 15, 2022

Commits on Aug 12, 2022

Prohibit to set static final fields from library classes
sergeypospelov
committed
d80769c
Do not substitute static fields from library classes with unbounded symbolic variables
sergeypospelov
committed
605d9fb
Fix failed tests in OptionalTest.kt
sergeypospelov
committed
579101d
Use TrustedLibraries instead of packagesToProcessConcretely
sergeypospelov
committed
a4235ae
Add flag in UtSettings.kt and workaround reason
sergeypospelov
committed
bbcb4a8
Fix CE
sergeypospelov
committed
2d61985

Commits on Aug 15, 2022

Apply review comments
sergeypospelov
committed
db659ce