Получение состояний программы из двух разных терминалов и сравнение их

Я хочу запустить два разных экземпляра программы в двух разных терминалах. и проверьте переменные внутри программы, совпадают ли они все время или нет.

Что я действительно хочу сделать, так это сделать детерминизм наблюдений в двух разных программах. Я буду вызывать разные функции в обеих программах как в терминале, так и в соответствующих состояниях.

Как я могу это сделать?


Я буду запускать программу, которая запускает фаззинговую кампанию по договору о солидности ( это коды, которые управляют правилом приложения на Ethereum Blockchain ).

Эта программа echidna ( https://github.com/crytic/echidna ), запускает кампанию только по одному файлу контракта.

Я хочу протестировать один и тот же файл на 2 разных терминалах с одинаковым набором входных данных.

Итак, здесь я хочу сравнить переходы между состояниями в обеих кампаниях. Сом, я могу как-нибудь поделиться общим пулом хранения переменных и сравнить состояния?

( Я добавлю функциональность для временного хранения состояний )

0
задан 11 July 2019 в 14:50

0 ответов

Другие вопросы по тегам:

Похожие вопросы: