ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_bug_report Namespace Reference

Namespace for scripts taken from Clang, as generated by: clang –analyze -Xclang -analyzer-output=html -o test test.c. More...

Functions

const std::string counterexample_filter (const std::string_view relevant_lines_js)

Variables

constexpr std::string_view html_style
constexpr std::string_view annotated_source_header_fmt
constexpr std::string_view counterexample_checkbox
constexpr std::string_view keyboard_navigation_js

Detailed Description

Namespace for scripts taken from Clang, as generated by: clang –analyze -Xclang -analyzer-output=html -o test test.c.

Function Documentation

◆ counterexample_filter()

const std::string clang_bug_report::counterexample_filter ( const std::string_view relevant_lines_js)

Variable Documentation

◆ annotated_source_header_fmt

std::string_view clang_bug_report::annotated_source_header_fmt
constexpr
Initial value:
{
R"(
<h3>Annotated Source Code</h3>
<p>Press <a href="#" onclick="toggleHelp(); return false;">'?'</a>
to see keyboard shortcuts</p>
<input type="checkbox" class="spoilerhider" id="showinvocation" />
<label for="showinvocation" >Show analyzer invocation</label>
<div class="spoiler">{}
</div>
<div id='tooltiphint' hidden="true">
<p>Keyboard shortcuts: </p>
<ul>
<li>Use 'j/k' keys for keyboard navigation</li>
<li>Use 'Shift+S' to show/hide relevant lines</li>
<li>Use '?' to toggle this window</li>
</ul>
<a href="#" onclick="toggleHelp(); return false;">Close</a>
</div>
)"}

◆ counterexample_checkbox

std::string_view clang_bug_report::counterexample_checkbox
constexpr
Initial value:
{R"(<form>
<input type="checkbox" name="showCounterexample" id="showCounterexample" />
<label for="showCounterexample">
Show only relevant lines
</label>
</form>)"}

◆ html_style

std::string_view clang_bug_report::html_style
constexpr

◆ keyboard_navigation_js

std::string_view clang_bug_report::keyboard_navigation_js
constexpr