Skip to content

F-c WHAT? local variable breaks finitenes??

Choose a tag to compare

View all tags
@zapotocnylubos zapotocnylubos released this 20 Mar 16:28
· 28 commits to main since this release
0.0.5
77bbacf
Snímek obrazovky 2025-03-20 v 17 36 27

po odstraneni int fieldu z lisu

Snímek obrazovky 2025-03-20 v 17 54 38

Guide to Software Verification with Frama-C > 4.3 + 4.3.8

Assets 2
Loading