replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Renamed exe and added exes to gitignore

This commit is contained in:
thk123 2017-04-28 17:48:37 +01:00
parent b22210dfd9
commit 760e1fc09f
3 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
unit/.gitignore vendored Normal file
View File

@ -0,0 +1,5 @@
# Unit test binaries
miniBDD
sharing_node
string_utils
unit_tests

6
unit/Makefile
View File

@ -1,6 +1,6 @@
.PHONY: all cprover.dir test
SRC = catch_entry_point.cpp \
SRC = unit_tests.cpp \
catch_example.cpp \
# Empty last line
@ -26,7 +26,7 @@ LIBS = ../src/ansi-c/ansi-c$(LIBEXT) \
../src/solvers/solvers$(LIBEXT) \
# Empty last line
TESTS = catch_entry_point$(EXEEXT) \
TESTS = unit_tests$(EXEEXT) \
miniBDD$(EXEEXT) \
string_utils$(EXEEXT) \
sharing_node$(EXEEXT) \
@ -43,7 +43,7 @@ test: all
###############################################################################
catch_entry_point$(EXEEXT): $(OBJ)
unit_tests$(EXEEXT): $(OBJ)
$(LINKBIN)
miniBDD$(EXEEXT): miniBDD$(OBJEXT)

5
unit/catch_entry_point.cpp → unit/unit_tests.cpp
View File

@ -5,11 +5,6 @@
Author: DiffBlue Limited. All rights reserved.
\*******************************************************************/
#ifndef CATCH_ENTRY_POINT_H
#define CATCH_ENTRY_POINT_H
#define CATCH_CONFIG_MAIN
#include "catch.hpp"
#endif // CATCH_ENTRY_POINT_H