search

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

Change all reference of codestyle to new path #285

Closed RipplB closed 4 months ago

RipplB commented 4 months ago

Previous PR broke formatting checks (and most probably the reformatter action). This pull request aims to fix this issue

RipplB commented 4 months ago

As the output of the check formatting action shows, the check now runs correctly (actually checking all files, no error)

sonarcloud[bot] commented 4 months ago

Quality Gate Passed Quality Gate passed

Issues
0 New issues
0 Accepted issues

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

See analysis details on SonarCloud