我想在两个不同的终端运行一个程序的两个不同实例。并检查程序内部的变量是否始终匹配。
我真正想做的是在两个不同的程序中进行观察确定性。我将在两个程序的终端和各自的状态下调用不同的函数。
我怎样才能这样做？
我将运行一个程序，在 Solidity 合约上运行模糊测试活动（这些是管理以太坊区块链上应用程序规则的代码）。
本程序echidna（https://github.com/crytic/echidna），仅针对合同的一个文件运行活动。
我想在两个不同的终端上测试同一个文件，并使用同一组输入。
因此，我想在这里比较两个活动的状态转换。那么，我能以某种方式共享它们的变量存储池并比较状态吗？
（我将添加临时存储状态的功能）