souffle  2.0.2-371-g6315b36
Namespaces | Macros | Functions
ram_relation_test.cpp File Reference
#include "tests/test.h"
#include "Global.h"
#include "RelationTag.h"
#include "interpreter/Engine.h"
#include "ram/Expression.h"
#include "ram/IO.h"
#include "ram/Program.h"
#include "ram/Project.h"
#include "ram/Query.h"
#include "ram/Relation.h"
#include "ram/Sequence.h"
#include "ram/SignedConstant.h"
#include "ram/Statement.h"
#include "ram/TranslationUnit.h"
#include "reports/DebugReport.h"
#include "reports/ErrorReport.h"
#include "souffle/RamTypes.h"
#include "souffle/SymbolTable.h"
#include "souffle/utility/ContainerUtil.h"
#include "souffle/utility/json11.h"
#include <algorithm>
#include <cstddef>
#include <iomanip>
#include <iostream>
#include <limits>
#include <map>
#include <memory>
#include <sstream>
#include <string>
#include <utility>
#include <vector>
Include dependency graph for ram_relation_test.cpp:

Go to the source code of this file.

Namespaces

 souffle
 
 souffle::interpreter
 
 souffle::interpreter::test
 

Macros

#define RANDOM_TESTS   12
 

Functions

 souffle::interpreter::test::TEST (IO_load, Float)
 
 souffle::interpreter::test::TEST (IO_load, MixedTypesLoad)
 
 souffle::interpreter::test::TEST (IO_load, Signed)
 
 souffle::interpreter::test::TEST (IO_load, Unsigned)
 
 souffle::interpreter::test::TEST (IO_store, Float)
 
 souffle::interpreter::test::TEST (IO_store, FloatSimple)
 
 souffle::interpreter::test::TEST (IO_store, MixedTypes)
 
 souffle::interpreter::test::TEST (IO_store, Signed)
 
 souffle::interpreter::test::TEST (IO_store, SignedChangedDelimiter)
 
 souffle::interpreter::test::TEST (IO_store, Unsigned)
 
const std::string souffle::interpreter::test::testInterpreterStore (std::vector< std::string > attribs, std::vector< std::string > attribsTypes, VecOwn< Expression > exprs)
 

Macro Definition Documentation

◆ RANDOM_TESTS

#define RANDOM_TESTS   12

Definition at line 62 of file ram_relation_test.cpp.