smt_examples.test.cpp File Reference

#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include <fstream>
#include <gtest/gtest.h>
#include <iostream>
#include <string>
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/smt_verification/circuit/ultra_circuit.hpp"

Go to the source code of this file.

Typedefs
using	Builder = UltraCircuitBuilder
using	field_t = stdlib::field_t< Builder >
using	witness_t = stdlib::witness_t< Builder >
using	pub_witness_t = stdlib::public_witness_t< Builder >

Functions
	TEST (smtExample, multiplication_true)
	TEST (smtExample, multiplication_true_kind)
	TEST (smtExample, multiplication_false)
	TEST (smtExample, unique_witness_ext)
	TEST (smtExample, unique_witness)

Typedef Documentation

Builder

using Builder = UltraCircuitBuilder

Definition at line 14 of file smt_examples.test.cpp.

field_t

using field_t = stdlib::field_t<Builder>

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

pub_witness_t

using pub_witness_t = stdlib::public_witness_t<Builder>

Definition at line 17 of file smt_examples.test.cpp.

witness_t

using witness_t = stdlib::witness_t<Builder>

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

Function Documentation

TEST() [1/5]

TEST	(	smtExample	,
		multiplication_false
	)

Definition at line 81 of file smt_examples.test.cpp.

TEST() [2/5]

TEST	(	smtExample	,
		multiplication_true
	)

Definition at line 19 of file smt_examples.test.cpp.

TEST() [3/5]

TEST	(	smtExample	,
		multiplication_true_kind
	)

Definition at line 50 of file smt_examples.test.cpp.

TEST() [4/5]

TEST	(	smtExample	,
		unique_witness
	)

Definition at line 158 of file smt_examples.test.cpp.

TEST() [5/5]

TEST	(	smtExample	,
		unique_witness_ext
	)

Definition at line 126 of file smt_examples.test.cpp.