Corrected ground truth for n. 33 contract of SolidiFI #765
Annotations
1 error
|
compile-and-test
Process completed with exit code 1.
|