Я хочу запустить два разных экземпляра программы в двух разных терминалах. и проверьте переменные внутри программы, совпадают ли они все время или нет.
Что я действительно хочу сделать, так это сделать детерминизм наблюдений в двух разных программах. Я буду вызывать разные функции в обеих программах как в терминале, так и в соответствующих состояниях.
Как я могу это сделать?
Я буду запускать программу, которая запускает фаззинговую кампанию по договору о солидности ( это коды, которые управляют правилом приложения на Ethereum Blockchain ).
Эта программа echidna
( https://github.com/crytic/echidna ), запускает кампанию только по одному файлу контракта.
Я хочу протестировать один и тот же файл на 2 разных терминалах с одинаковым набором входных данных.
Итак, здесь я хочу сравнить переходы между состояниями в обеих кампаниях. Сом, я могу как-нибудь поделиться общим пулом хранения переменных и сравнить состояния?
( Я добавлю функциональность для временного хранения состояний )