search

CROSSINGTUD / CryptoAnalysis

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
Eclipse Public License 2.0
63 stars 39 forks source link

Add test case from #227 #672

Closed smeyer198 closed 1 month ago

smeyer198 commented 2 months ago

The program from #227 does not report a TypestateError anymore.

Close #227