How to build(make) project using frama-c?

前端 未结 0 1400
有刺的猬
有刺的猬 2020-11-29 00:28

How to build(make) project using frama-c?

I want to build git project using frama-c, git project : https://github.com/git/git

i hope to run make through frama-

相关标签:
回答
  • 消灭零回复
提交回复
热议问题