rit.hpp File Reference

#include <functional>
#include <random>
#include <vector>
#include "../sets.hpp"
#include "../simplega.hpp"
#include "../types.hpp"

Go to the source code of this file.

Classes
class	mc2lib::codegen::RandInstTest< URNG, OperationFactory >

Namespaces
	mc2lib
	mc2lib::codegen
	Code generation for memory consistency verification.