Skip to content
test-tools

[P4Testgen] Make more functions of the P4Tools Z3 API accessible. #4080

Sign in to view logs

[P4Testgen] Make more functions of the P4Tools Z3 API accessible.

[P4Testgen] Make more functions of the P4Tools Z3 API accessible. #4080

Triggered via pull request March 1, 2024 15:32
@fruffyfruffy
synchronize #4322
fruffy/testgen_z3_api
Status Success
Total duration 1h 9m 4s
Artifacts –

ci-p4tools.yml

on: pull_request
build-and-test-tools
44m 1s
build-and-test-tools
Fit to window
Zoom out
Zoom in