Apr 28, 2020 · Apr 28, 2020 · Apr 28, 2020 · Apr 28, 2020
diff --git a/.github/workflows/linux_check.yml b/.github/workflows/linux_check.yml
 name: CI for Linux

 on: push

 jobs:
  test:
    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v2
    - name: build
      run: |
        mkdir build && cd build
        cmake ../src
        make
        cd ..
    - name: regression test
      run: |
        cd tests
        pwd
        ls -l
        ./run_tests.sh
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
 # specify the C++ standard
 set(CMAKE_CXX_STANDARD 17)

 # unit-test library
 add_library(tests_main STATIC ../tests/tests_main.cpp)

 # types_test target
 add_executable(types_test ../tests/types_test.cpp)
 target_include_directories(types_test PUBLIC ${CMAKE_CURRENT_SOURCE_DIR})
 target_link_libraries(types_test tests_main)
 target_compile_definitions(types_test PUBLIC UNIX)

 # variable_test target
 add_executable(variable_test ../tests/variable_test.cpp)
 target_include_directories(variable_test PUBLIC ${CMAKE_CURRENT_SOURCE_DIR})
 target_link_libraries(variable_test tests_main)
 target_compile_definitions(variable_test PUBLIC UNIX)
diff --git a/tests/run_tests.sh b/tests/run_tests.sh
 #!/bin/bash
 set -e
 ../build/types_test
 ../build/variable_test
diff --git a/tests/tests_main.cpp b/tests/tests_main.cpp
 // tests-main.cpp
 #define CATCH_CONFIG_MAIN
 #include "catch.hpp"
diff --git a/tests/types_test.cpp b/tests/types_test.cpp
 // Let Catch provide main():
 #define CATCH_CONFIG_MAIN

 #include "catch.hpp"
 #include "Datalog.h"

diff --git a/tests/variable_test.cpp b/tests/variable_test.cpp
 // Let Catch provide main():
 #define CATCH_CONFIG_MAIN

 #include "catch.hpp"
 #include "Variable.h"

 }

 TEST_CASE( "An new variable is unbound", "[variable]" ) {
    REQUIRE( freeVariableTest() );
    REQUIRE( freeVariableTest()== true);
 }

 TEST_CASE( "A variable with a value is bound", "[variable]" ) {
    REQUIRE(freeVariableTest() );
    REQUIRE(boundVariableTest() == true );
 }
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,22 @@
		name: CI for Linux

		on: push

		jobs:
		test:
		runs-on: ubuntu-latest

		steps:
		- uses: actions/checkout@v2
		- name: build
		run: \|
		mkdir build && cd build
		cmake ../src
		make
		cd ..
		- name: regression test
		run: \|
		cd tests
		pwd
		ls -l
		./run_tests.sh
Original file line number	Diff line number	Diff line change
Expand Up		@@ -21,12 +21,17 @@ project("datalog-cpp")
		# specify the C++ standard
		set(CMAKE_CXX_STANDARD 17)

		# unit-test library
		add_library(tests_main STATIC ../tests/tests_main.cpp)

		# types_test target
		add_executable(types_test ../tests/types_test.cpp)
		target_include_directories(types_test PUBLIC ${CMAKE_CURRENT_SOURCE_DIR})
		target_link_libraries(types_test tests_main)
		target_compile_definitions(types_test PUBLIC UNIX)

		# variable_test target
		add_executable(variable_test ../tests/variable_test.cpp)
		target_include_directories(variable_test PUBLIC ${CMAKE_CURRENT_SOURCE_DIR})
		target_link_libraries(variable_test tests_main)
		target_compile_definitions(variable_test PUBLIC UNIX)
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,4 @@
		#!/bin/bash
		set -e
		../build/types_test
		../build/variable_test
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		// tests-main.cpp
		#define CATCH_CONFIG_MAIN
		#include "catch.hpp"
Original file line number	Diff line number	Diff line change
		@@ -1,6 +1,3 @@
		// Let Catch provide main():
		#define CATCH_CONFIG_MAIN

		#include "catch.hpp"
		#include "Datalog.h"

Expand Down