search

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.
24 stars 5 forks source link

Refactor Theta Cfa Generator #92

Open radl97 opened 3 years ago

radl97 commented 3 years ago

This is the first patch aiming to enable generating Theta-XCFA.

This PR refactors the monolith that is ThetaCfaGenerator.

sonarcloud[bot] commented 3 years ago

Kudos, SonarCloud Quality Gate passed!

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

radl97 commented 3 years ago

Refactored it, sorry