replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Use existing type sharing_map_error_checkt in sharing map unit test

This commit is contained in:
Daniel Poetzl 2019-04-17 14:55:02 +01:00
parent 9e348b735c
commit 2e7f41473d
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
unit/util/sharing_map.cpp
View File

@ -19,9 +19,6 @@ Author: Daniel Poetzl
typedef sharing_mapt<irep_idt, std::string, false, irep_id_hash>
sharing_map_standardt;
typedef sharing_mapt<irep_idt, std::string, true, irep_id_hash>
sharing_map_debugt;
class sharing_map_internalt : public sharing_map_standardt
{
friend void sharing_map_internals_test();
@ -178,7 +175,7 @@ TEST_CASE("Sharing map interface", "[core][util]")
{
cbmc_invariants_should_throwt invariants_throw;
sharing_map_debugt debug_sm;
sharing_map_error_checkt debug_sm;
fill(debug_sm);
REQUIRE_NOTHROW(
debug_sm.update("i", [](std::string &str) { str += "1"; }));