Smoosh(符号化,机械化,可观察,可操作的)是的形式化; Smoosh是更广泛的一部分。 Smoosh是使用和OCaml混合编写的,使用解析外壳代码。 安装 使用Smoosh的方法有两种:虚拟的(在Vagrant VM或Docker容器中)或本机的。 由于Smoosh依赖于某些库的许多部分和特定版本,因此通过VM或Docker安装可能会更容易。 本地构建Smoosh 要直接在计算机上安装Smoosh,您将需要使用.travis.yml列出的依赖项来手动配置系统。 特别是: AC工具链 Autoconf,autotools,libtool,pkg-config,libffi和libgm