Trying workflow

aclai-lab · Jan 12, 2024 · bead8ec · bead8ec
1 parent c82e04b
commit bead8ec
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/test/propositionalbooleansat.jl b/test/propositionalbooleansat.jl
@@ -15,10 +15,6 @@ using SoleReasoners
 @test sat(parseformula("p∨¬p")) == true
 @test sat(parseformula("¬p∨p")) == true
 
-@atoms p q r
-
-@test sat(∧(p,q,r)) == true
-
 @test sat(parseformula("p∧q"))   == true
 @test sat(parseformula("p∧¬p"))  == false
 @test sat(parseformula("p∧¬¬p")) == true