feat: implement post conditions & support smart contract clarity version #38
Annotations
22 errors and 2 warnings
unit-tests
Process completed with exit code 1.
|
unit-tests
Cannot open: File exists
|
unit-tests
Cannot open: File exists
|
unit-tests
Cannot open: File exists
|
unit-tests
Cannot open: File exists
|
unit-tests
Cannot open: File exists
|
unit-tests
Cannot open: File exists
|
unit-tests
Cannot open: File exists
|
unit-tests
Cannot open: File exists
|
unit-tests
Cannot open: File exists
|
unit-tests
Cannot open: File exists
|
integration-tests
Process completed with exit code 1.
|
integration-tests
Cannot open: File exists
|
integration-tests
Cannot open: File exists
|
integration-tests
Cannot open: File exists
|
integration-tests
Cannot open: File exists
|
integration-tests
Cannot open: File exists
|
integration-tests
Cannot open: File exists
|
integration-tests
Cannot open: File exists
|
integration-tests
Cannot open: File exists
|
integration-tests
Cannot open: File exists
|
integration-tests
Cannot open: File exists
|
unit-tests
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
|
integration-tests
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
|