Resolve "Specification settings should be enabled" (!45) · Merge requests · SoSy-Lab / Software / CPAchecker IntelliJ Plugin · GitLab

Tharsanan Kurukulasingam requested to merge 56-Specification-settings-should-be-enabled into master Aug 06, 2019

Closes #56 (closed) Closes #55 (closed)

Edited Aug 12, 2019 by Tharsanan Kurukulasingam