Added multi formalism to create product of arbitrary number of formal…

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

Added multi formalism to create product of arbitrary number of formal… #251

Closed RipplB closed 5 months ago

RipplB commented 9 months ago

@mondokm @szdan97

leventeBajczi commented 9 months ago

Thanks for the PR! Could you please provide a short description (either in a README placed under subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/multi, or possibly in the doc/wiki folder)? Just some details on what this addition is, and what its goals are.

Also, please bump the version (I think I'd go with a new minor version, to 5.1.0) in the build.gradle.kts.

leventeBajczi commented 9 months ago

Sorry for the many merge commits, I'm trying to get Sonar running on forked repos.

RipplB commented 6 months ago

Circular dependency problem solved in f8c38f4c33c53725e38b293890792bd9112896ae but also somehow completely broke the code quality check (it only detects test coverage per module?)

sonarcloud[bot] commented 5 months ago

Quality Gate passed

Issues
58 New issues
0 Accepted issues

Measures
0 Security Hotspots
60.5% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud