CBMC
Loading...
Searching...
No Matches
Functions
cover_basic_blocks.cpp File Reference

Basic blocks detection for Coverage Instrumentation. More...

#include "cover_basic_blocks.h"
#include <util/message.h>
+ Include dependency graph for cover_basic_blocks.cpp:

Go to the source code of this file.

Functions

static bool  same_source_line (const source_locationt &a, const source_locationt &b)
 

Detailed Description

Basic blocks detection for Coverage Instrumentation.

Definition in file cover_basic_blocks.cpp.

Function Documentation

◆  same_source_line()

static bool same_source_line ( const source_locationt &  a,
const source_locationt &  b 
)
static

Definition at line 31 of file cover_basic_blocks.cpp.

AltStyle によって変換されたページ (->オリジナル) /