getTrail method

List<Expr> getTrail()

Implementation

List<Expr> getTrail() {
  final vec = _c._z3.solver_get_trail(_solver);
  return _c._unpackAstVector(vec).cast();
}