Skip to content

Commit

Permalink
I think I removed the redundant goal tests, so I can't easily figure …
Browse files Browse the repository at this point in the history
…out why this one still fails.
  • Loading branch information
scijones committed Mar 25, 2024
1 parent 6952bf8 commit cec9918
Showing 1 changed file with 2 additions and 4 deletions.
Original file line number Diff line number Diff line change
@@ -1,9 +1,7 @@
sp {answer*substate*apply*copy-result*OpNoChange*t5-1
(state <s1> ^superstate nil -^results <r*1> ^goal <g7> ^goal <g4>
^goal <g1> ^object <c2> ^object <c1> ^operator <o1>)
(<g7> ^finished false)
(state <s1> ^superstate nil -^results <r*1> ^goal <g4>
^object <c2> ^object <c1> ^operator <o1>)
(<g4> ^finished false ^has-property <g6> ^has-property { < <g6> <g5> })
(<g1> ^finished false ^has-property <g3> ^has-property { < <g3> <g2> })
(<c1> ^<c7> <c8>)
(<g6> ^<c7> <c8> ^<c5> <c6>)
(<c2> ^<c5> <c6> ^<c3> <c4>)
Expand Down

0 comments on commit cec9918

Please sign in to comment.