8000 test CI · Z80coder/datalog-cpp@4064061 · GitHub
[go: up one dir, main page]

Skip to content

Commit 4064061

Browse files
committed
test CI
1 parent e3668d2 commit 4064061

File tree

1 file changed

+5
-3
lines changed

1 file changed

+5
-3
lines changed

tests/variable_test.cpp

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,13 +11,15 @@ bool freeVariableTest() {
1111
bool boundVariableTest() {
1212
Variable<int> intVar;
1313
intVar.bind(0);
14-
return intVar.isBound();
14+
// break this
15+
//return intVar.isBound();
16+
return !intVar.isBound();
1517
}
1618

1719
TEST_CASE( "An new variable is unbound", "[variable]" ) {
18-
REQUIRE( freeVariableTest() );
20+
REQUIRE( freeVariableTest() == true );
1921
}
2022

2123
TEST_CASE( "A variable with a value is bound", "[variable]" ) {
22-
REQUIRE( freeVariableTest() );
24+
REQUIRE( boundVariableTest() == true );
2325
}

0 commit comments

Comments
 (0)
0