Skip to content
CI

[smtlib2] Add readme.md. #5142

Sign in to view logs

[smtlib2] Add readme.md.

[smtlib2] Add readme.md. #5142

Triggered via pull request October 4, 2024 12:11
@kaby76kaby76
opened #4272
kaby76:g4-smtlib2-disamb
Status Success
Total duration 8m 37s
Artifacts –

main.yml

on: pull_request
setup
20s
setup
Matrix: static-check
Matrix: build-pwsh
Fit to window
Zoom out
Zoom in

Annotations

16 warnings
build-pwsh (ubuntu-latest, CSharp): smtlibv2/Generated-CSharp/MyParserInterpreter.cs#L31
The field 'MyParserInterpreter._grammarFileName' is never used
build-pwsh (ubuntu-latest, CSharp): smtlibv2/Generated-CSharp/MyParserInterpreter.cs#L31
The field 'MyParserInterpreter._grammarFileName' is never used
build-pwsh (windows-latest, CSharp): smtlibv2/Generated-CSharp/MyParserInterpreter.cs#L31
The field 'MyParserInterpreter._grammarFileName' is never used
build-pwsh (windows-latest, CSharp): smtlibv2/Generated-CSharp/MyParserInterpreter.cs#L31
The field 'MyParserInterpreter._grammarFileName' is never used
build-pwsh (macos-latest, CSharp): smtlibv2/Generated-CSharp/MyParserInterpreter.cs#L31
The field 'MyParserInterpreter._grammarFileName' is never used
build-pwsh (macos-latest, CSharp): smtlibv2/Generated-CSharp/MyParserInterpreter.cs#L31
The field 'MyParserInterpreter._grammarFileName' is never used
build-pwsh (windows-latest, Cpp)
'antlr4::dfa::Vocabulary::EMPTY_VOCABULARY': Use the default constructor of Vocabulary instead.
build-pwsh (windows-latest, Cpp)
'initializing': conversion from '_Ty' to '_Ty1', possible loss of data
build-pwsh (windows-latest, Cpp)
with
build-pwsh (windows-latest, Cpp)
[
build-pwsh (windows-latest, Cpp)
_Ty=int
build-pwsh (windows-latest, Cpp)
]
build-pwsh (windows-latest, Cpp)
and
build-pwsh (windows-latest, Cpp)
[
build-pwsh (windows-latest, Cpp)
_Ty1=uint8_t
build-pwsh (windows-latest, Cpp)
]