Xsts cli clikt - Githubissues

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

Closed RipplB closed 3 months ago

sonarcloud[bot] commented 3 months ago

Failed conditions
5.0% Coverage on New Code (required ≥ 60%)