ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
encoding.cpp File Reference
#include <util/base/encoding.h>
#include <stdexcept>
Include dependency graph for encoding.cpp:

Functions

std::vector< uint8_t > base64_decode (const std::string &encoded_string)

Function Documentation

◆ base64_decode()

std::vector< uint8_t > base64_decode ( const std::string & encoded_string)