Skip to content
Build Linux partially with CPROVER tools

C/C++ front-end: accept all floating-point extensions that GCC and Clang support #6959

Sign in to view logs

C/C++ front-end: accept all floating-point extensions that GCC and Clang support

C/C++ front-end: accept all floating-point extensions that GCC and Clang support #6959

Triggered via pull request February 5, 2024 21:55
@tautschnigtautschnig
synchronize #8169
tautschnig:bugfixes/float-extensions
Status Success
Total duration 13m 52s
Artifacts –

build-and-test-Linux.yaml

on: pull_request
CompileLinux
13m 44s
CompileLinux
Fit to window
Zoom out
Zoom in

Annotations

1 warning
CompileLinux
No files were found with the provided path: CPROVER/faultyInput/*. No artifacts will be uploaded.