{

"label":"build",

"type":"shell",

"command":"mkdir -p build;cd build; cmake ../src; make",

"command":"cd build; make",

"problemMatcher": [

],

Add the C/C++ extension for Visual Studio Code for IntelliSense configuration: in the IDE press`CTRL-P` and then paste the command`ext install ms-vscode.cpptools`.

Typping`CTRL-SHIFT-B` in the IDE will automatically build theproejct.

Ensure you have built the makefiles as per above. Then holding`CTRL-SHIFT-B` in the IDE will automatically build theproject.

Visual Studio 2019 supports using CMake to manage the build directly by selecting File -> Open -> Cmake... and opening`src/CMakeLists.txt`. Then Visual Studio's normal build shortcuts will update the CMake configuration as well as building the project.

add_executable(types_test ../tests/types_test.cpp)

target_include_directories(types_testPUBLIC${CMAKE_CURRENT_SOURCE_DIR})

target_compile_definitions(types_testPUBLICUNIX)

add_executable(variable_test ../tests/variable_test.cpp)

target_include_directories(variable_testPUBLIC${CMAKE_CURRENT_SOURCE_DIR})

target_compile_definitions(variable_testPUBLICUNIX)

#include<Datalog.h>

#defineCATCH_CONFIG_MAIN

#include"catch.hpp"

#include"Datalog.h"

returntrue;

}

#if1

boolpo1()

{

typedefunsignedint Number;

constauto& computedA = convert<A>(temp);

cout <<"result =";

operator<< <A>(cout, computedA);

cout << endl;

delete a;

delete b;

return computedA == aOut;

}

#endif

booltest4()

{

returntrue;

}

intmain()

{

bool ok1 =test1();

bool ok2 =test2();

#if1

bool ok3 =po1();

bool ok4 =test4();

if (!(ok1and ok2and ok3and ok4)) {

cout <<"FAIL" << endl;

return1;

}else {

cout <<"PASSED" << endl;

return0;

}

#endif

return1;

}

TEST_CASE("toy-examples","[types-test]" ) {

REQUIRE(test1() );

REQUIRE(test2() );

REQUIRE(po1() );

REQUIRE(test4() );

}

#defineCATCH_CONFIG_MAIN

#include"catch.hpp"

#include"Variable.h"

boolfreeVariableTest() {

Variable<int> intVar;

return !intVar.isBound();

}

boolboundVariableTest() {

Variable<int> intVar;

intVar.bind(0);

return intVar.isBound();

}

TEST_CASE("An new variable is unbound","[variable]" ) {

REQUIRE(freeVariableTest() );

}

TEST_CASE("A variable with a value is bound","[variable]" ) {

REQUIRE(freeVariableTest() );

}