Drop next states from AbortedResult

Author: geo2a

src/pyk/kore/rpc.py

@@ -666,11 +666,11 @@ def from_dict(cls: type[VacuousResult], dct: Mapping[str, Any]) -> VacuousResult
 @dataclass(frozen=True)
 class AbortedResult(ExecuteResult):
     reason = StopReason.ABORTED
+    next_states = None
     rule = None
 
     state: State
     depth: int
-    next_states: tuple[State, ...]
     unknown_predicate: Pattern | None
     logs: tuple[LogEntry, ...]
 
@@ -681,7 +681,6 @@ def from_dict(cls: type[AbortedResult], dct: Mapping[str, Any]) -> AbortedResult
         return AbortedResult(
             state=State.from_dict(dct['state']),
             depth=dct['depth'],
-            next_states=tuple(State.from_dict(next_state) for next_state in dct['next-states']),
             unknown_predicate=kore_term(dct['unknown-predicate'], Pattern) if dct.get('unknown-predicate') else None,  # type: ignore
             logs=logs,
         )

src/tests/unit/kore/test_client.py

@@ -118,7 +118,6 @@ def kore_client(mock: Mock, mock_class: Mock) -> Iterator[KoreClient]:  # noqa:
         },
         AbortedResult(
             state=State(term=int_dv(1), substitution=int_dv(2), predicate=int_dv(3)),
-            next_states=(),
             depth=4,
             unknown_predicate=int_dv(5),
             logs=(),