Set values on randobj and check if it satisfies the constraints about pyvsc HOT 2 CLOSED

import vsc
import random

@vsc.randobj
class my_item_c:
    def __init__(self):
        self.a = vsc.rand_uint8_t()
        self.b = vsc.rand_uint8_t()

    @vsc.constraint
    def ab_c(self):
        self.a + self.b < 10

my_item = my_item_c()

for _ in range(10):
    v = random.randrange(0, 20)
    try:
        with my_item.randomize_with() as it:
            it.a == v
        print(f'(a == {v}) hit')
    except:
        print(f'(a == {v}) unsolvable')
        try:
            with my_item.randomize_with(solve_fail_debug=1) as it:
                it.a == v
        except:
            pass

(a == 9) hit
Solve failure: set 'solve_fail_debug=1' for more details
(a == 14) unsolvable
Problem Set: 2 constraints
  <unknown>:
    ((a + b) < 10);
  <unknown>:
    (a == 14);

(a == 3) hit
(a == 6) hit
(a == 1) hit
Solve failure: set 'solve_fail_debug=1' for more details
(a == 18) unsolvable
Problem Set: 2 constraints
  <unknown>:
    ((a + b) < 10);
  <unknown>:
    (a == 18);

(a == 2) hit
(a == 0) hit
(a == 4) hit
Solve failure: set 'solve_fail_debug=1' for more details
(a == 18) unsolvable
Problem Set: 2 constraints
  <unknown>:
    ((a + b) < 10);
  <unknown>:
    (a == 18);