文件名称：vigor:Vigor NF验证项目的主要资料库
文件大小：744KB
文件格式：ZIP
更新时间：2024-05-27 02:13:49
dpdk reliability verification symbolic-execution automatic
该存储库包含Vigor验证工具链和网络功能（NF）。 机器先决条件 我们的脚本假定您使用的是Ubuntu 18.04或20.04，并且具有有效的Internet连接来下载依赖项。 较旧的Ubuntu或其他基于Debian的发行版可能有效，但尚未经过测试。 :information: 如果您在Docker容器中运行脚本，请以--privileged身份启动脚本以允许opam创建名称空间。 （请参阅ocaml / opam＃3498） 作为在您自己的计算机上安装依赖项的替代方法，我们提供了一个Docker映像： dslabepfl/vigor-20.08 。 （使用DPDK 17.11的与工件评估版本相对应的图像dslabepfl/vigor仍然可用。）但是，您仍必须使用Ubuntu 18.04作为主机，因为客户机使用主机的内核，而DPDK需要内核标头进行编译。 该映像可以使用./Docker-build.s