Frama-C Framework in Wine.
Игорь Чебаненко
chebanenkoigor93 at gmail.com
Mon Jun 28 01:33:13 CDT 2021
I don't know if you use it in your project,but if not,try.
Wikipedia:
https://en.wikipedia.org/wiki/Frama-C
Website:
https://frama-c.com/
More information about the wine-devel
mailing list