CI

Add symbolic execution #1856

Sign in to view logs

Triggered via pull request April 9, 2024 20:14

samalws-tob

synchronize #1216

symexec4

Status Failure

Total duration 11m 30s

Artifacts 5

ci.yml

on: pull_request

Matrix: build

Matrix: test

Annotations

8 errors

Test with solc 0.6.12 on ubuntu-latest

The template is not valid. .github/workflows/ci.yml (Line: 214, Col: 16): Unexpected value ''

Test with solc 0.4.25 on ubuntu-latest

The template is not valid. .github/workflows/ci.yml (Line: 214, Col: 16): Unexpected value ''

Test with solc 0.5.7 on ubuntu-latest

The template is not valid. .github/workflows/ci.yml (Line: 214, Col: 16): Unexpected value ''

Test with solc 0.7.5 on ubuntu-latest

The template is not valid. .github/workflows/ci.yml (Line: 214, Col: 16): Unexpected value ''

Test with solc 0.7.5 on windows-latest

Process completed with exit code 127.

Test with solc 0.6.12 on windows-latest

Process completed with exit code 127.

Test with solc 0.5.7 on windows-latest

Process completed with exit code 127.

Test with solc 0.4.25 on windows-latest

Process completed with exit code 127.

Artifacts

Produced during runtime

Name	Size
echidna-Linux Expired	17.7 MB
echidna-Windows Expired	17.5 MB
echidna-macOS Expired	8.6 MB
echidna-testsuite-Linux Expired	24.4 MB
echidna-testsuite-Windows Expired	21.2 MB