Skip to content

Update Klever with JDK-17

Андрианов Павел Сергеевич requested to merge cpa-jdk-17 into master
  • updated CPALockator
  • updated SMGCPA
  • updated CPAChecker for reachability: ldv-bam and ldv configurations
Edited by Андрианов Павел Сергеевич

Merge request reports