diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-12 19:29:05 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-12 19:29:05 +0100 |
commit | 938ea320d6b990ed1b7a8409a670bc847895da75 (patch) | |
tree | d43f074cb53b4120fb05cba233b9a56970452cac /test/test_all.sh | |
parent | 2f75aa7dd36a718588bf40cc951d898ebd6caa82 (diff) | |
download | vericert-938ea320d6b990ed1b7a8409a670bc847895da75.tar.gz vericert-938ea320d6b990ed1b7a8409a670bc847895da75.zip |
Change tr_module to show registers are different
Proof passed with no changes
Diffstat (limited to 'test/test_all.sh')
0 files changed, 0 insertions, 0 deletions