Add one angelic execution test

Herb-AI · Jul 8, 2024 · df1380e · df1380e
1 parent ac34ef2
commit df1380e
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/test/test_angelic_conditions/test_execute_angelic.jl b/test/test_angelic_conditions/test_execute_angelic.jl
@@ -126,4 +126,13 @@ end
         @test_throws Exception execute_on_input(st, angelic_expr, Dict(:x => 0)) # truthy case should throw an error
         @test apath == [true] # and not enter the if-statement afterwards
     end
+end
+
+@testset "angelic_evaluation" begin
+    p = RuleNode(15, [Hole([]), RuleNode(12), RuleNode(13, [RuleNode(12), RuleNode(2)])])
+    tab = SymbolTable(grammar)
+    angelic_conditions = Dict{UInt16,UInt8}()
+    angelic_conditions[15] = 1
+    res = execute_angelic_on_input(tab, p, grammar, Dict{Symbol, Any}(:x => 1), 2, RuleNode(16), 10, angelic_conditions)
+    @test res
 end