ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
encoding.h
Go to the documentation of this file.
1
#pragma once
2
3
#include <vector>
4
#include <cstdint>
5
#include <string>
6
7
std::vector<uint8_t>
base64_decode
(
const
std::string &encoded_string);
base64_decode
std::vector< uint8_t > base64_decode(const std::string &encoded_string)
Definition
encoding.cpp:4
src
util
base
encoding.h
Generated by
1.15.0