Skip to content
Build and test

Add a Partial_specification exception to the runtime and use it in the QCheck-STM plugin #102

Sign in to view logs

Add a Partial_specification exception to the runtime and use it in the QCheck-STM plugin

Add a Partial_specification exception to the runtime and use it in the QCheck-STM plugin #102

Triggered via pull request October 19, 2023 10:10
@shymshym
opened #157
shym:partial-spec
Status Success
Total duration 14m 44s
Artifacts –

build.yml

on: pull_request
test
14m 32s
test
Fit to window
Zoom out
Zoom in