1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
/*******************************************************************\
Module: Unit tests for goto_trace_stept::output
Author: Diffblue Ltd.
\*******************************************************************/
#include <util/namespace.h>
#include <util/symbol_table.h>
#include <goto-programs/goto_program.h>
#include <goto-programs/goto_trace.h>
#include <testing-utils/use_catch.h>
#include <sstream>
SCENARIO(
"Output trace with nil lhs object",
"[core][goto-programs][goto_trace]")
{
symbol_tablet symbol_table;
namespacet ns(symbol_table);
goto_programt::instructionst instructions;
instructions.emplace_back(goto_program_instruction_typet::OTHER);
goto_trace_stept step;
step.pc = instructions.begin();
step.type = goto_trace_stept::typet::ATOMIC_BEGIN;
std::ostringstream oss;
step.output(ns, oss);
std::istringstream iss(oss.str());
std::string line;
std::getline(iss, line);
REQUIRE(line == "*** ATOMIC_BEGIN");
std::getline(iss, line);
REQUIRE(line == "OTHER");
std::getline(iss, line);
REQUIRE(line.empty());
}
|
