mirror of https://github.com/logos-co/staking.git
5 lines
36 B
Plaintext
5 lines
36 B
Plaintext
|
|
||
|
|
rule shouldPass {
|
||
|
|
assert true;
|
||
|
|
}
|