 Hadrien Croubois
|
cc7837fb46
cleanup scripts/*.sh
|
%!s(int64=3) %!d(string=hai) anos |
 Thomas Adams
|
ffa3daa5d9
Modified verification scripts and Supply spec syntax
|
%!s(int64=3) %!d(string=hai) anos |
|
Thomas Adams
|
f3f26e3ff3
Modified verification scripts to include --send_only flag
|
%!s(int64=3) %!d(string=hai) anos |
|
Thomas Adams
|
018c58219f
Updated 1155 Pausable and Supply scripts to first run make munged
|
%!s(int64=3) %!d(string=hai) anos |
 Michael George
|
aafb14461b
made the spec run
|
%!s(int64=3) %!d(string=hai) anos |
|
Michael George
|
70cbfffc74
created harness and script
|
%!s(int64=3) %!d(string=hai) anos |