Test CBMC starter-kit by using coreHTTP

Fix "result" target #203

Sign in to view logs

Triggered via pull request December 11, 2023 09:38

tautschnig

opened #201

tautschnig:fix-resulttxt

Status Success

Total duration 1m 32s

Artifacts –

makefile-test.yaml

on: pull_request

Matrix: run-tests