Skip to content
coqchk

Transition systems #50

Sign in to view logs

Transition systems

Transition systems #50

Triggered via push November 23, 2023 03:51
@k32k32
pushed 15a6b94
fluents
Status Success
Total duration 3m 3s
Artifacts –

coqchk.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
build (8.17, default): theories/Generator.v#L359
Use of “Require” inside a section is fragile. It is not recommended
build (8.17, default): theories/Generator.v#L359
Use of “Require” inside a module is fragile. It is not recommended
build (8.17, default): theories/Bruteforce.v#L207
This expression should have type unit but has type
build (8.17, default): theories/Bruteforce.v#L425
Interpreting this declaration as if a global declaration prefixed by