bvterm.test.cpp File Reference

#include <cstdint>
#include <unordered_map>
#include "barretenberg/smt_verification/util/smt_util.hpp"
#include "barretenberg/stdlib/primitives/logic/logic.hpp"
#include "term.hpp"
#include <gtest/gtest.h>

Go to the source code of this file.

Typedefs
using	Builder = UltraCircuitBuilder
using	witness_ct = stdlib::witness_t< Builder >

Functions
	TEST (BVTerm, addition)
	TEST (BVTerm, subtraction)
	TEST (BVTerm, xor)
	TEST (BVTerm, rotr)
	TEST (BVTerm, rotl)
	TEST (BVTerm, mul)
	TEST (BVTerm, and)
	TEST (BVTerm, or)
	TEST (BVTerm, div)
	TEST (BVTerm, shr)
	TEST (BVTerm, shl)
	TEST (BVTerm, truncate)
	TEST (BVTerm, extract_bit)

Typedef Documentation

Builder

using Builder = UltraCircuitBuilder

Definition at line 15 of file bvterm.test.cpp.

witness_ct

using witness_ct = stdlib::witness_t<Builder>

Definition at line 16 of file bvterm.test.cpp.

Function Documentation

TEST() [1/13]

TEST	(	BVTerm	,
		addition
	)

Definition at line 20 of file bvterm.test.cpp.

TEST() [2/13]

TEST	(	BVTerm	,
		and
	)

Definition at line 167 of file bvterm.test.cpp.

TEST() [3/13]

TEST	(	BVTerm	,
		div
	)

Definition at line 219 of file bvterm.test.cpp.

TEST() [4/13]

TEST	(	BVTerm	,
		extract_bit
	)

Definition at line 315 of file bvterm.test.cpp.

TEST() [5/13]

TEST	(	BVTerm	,
		mul
	)

Definition at line 140 of file bvterm.test.cpp.

TEST() [6/13]

TEST	(	BVTerm	,
		or
	)

Definition at line 193 of file bvterm.test.cpp.

TEST() [7/13]

TEST	(	BVTerm	,
		rotl
	)

Definition at line 117 of file bvterm.test.cpp.

TEST() [8/13]

TEST	(	BVTerm	,
		rotr
	)

Definition at line 95 of file bvterm.test.cpp.

TEST() [9/13]

TEST	(	BVTerm	,
		shl
	)

Definition at line 268 of file bvterm.test.cpp.

TEST() [10/13]

TEST	(	BVTerm	,
		shr
	)

Definition at line 245 of file bvterm.test.cpp.

TEST() [11/13]

TEST	(	BVTerm	,
		subtraction
	)

Definition at line 45 of file bvterm.test.cpp.

TEST() [12/13]

TEST	(	BVTerm	,
		truncate
	)

Definition at line 291 of file bvterm.test.cpp.

TEST() [13/13]

TEST	(	BVTerm	,
		xor
	)

Definition at line 70 of file bvterm.test.cpp.