Smart contracts test

Prover/feat/small field exploratory—Smartvectors that support both base field elements and field extensions. #1226

Sign in to view logs

Triggered via pull request December 19, 2024 18:10

bogdanbear

synchronize #469

prover/feat/small-field-exploratory

Status Failure

Total duration 2m 22s

Artifacts –

run-smc-tests.yml

on: pull_request

Run smart contracts tests

Solidity format check

Annotations

9 errors and 2 warnings

Run smart contracts tests

undefined: addE2

Run smart contracts tests

undefined: subE2

Run smart contracts tests

undefined: doubleE2

Run smart contracts tests

undefined: negE2

Run smart contracts tests

undefined: addE2New

Run smart contracts tests

undefined: subE2New

Run smart contracts tests

undefined: doubleE2New

Run smart contracts tests

undefined: negE2New

Run smart contracts tests

Process completed with exit code 1.

Solidity format check

Variable "state" is unused

Solidity format check

Variable "state" is unused