ftsrg / theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
http://theta.inf.mit.bme.hu/
Apache License 2.0
49 stars 43 forks source link

Use a more generic checkstyle-based formatting solution #195

Closed leventeBajczi closed 2 weeks ago

leventeBajczi commented 1 year ago

Right now (since #194) Theta uses the IntelliJ code style for checking code style and auto-formatting code. This is not generic enough, as people might use other IDEs, and Sonar cannot be integrated with this approach.

Instead, we should use a checkstyle-based solution, which can easily be integrated with both Sonar, as well as Gradle, meaning formatting and checking can be IDE-independent.