integer_set.lmn

unit_test.use.

tap_producer = {
  test_suite = {
    setup = { integer.use. }.

    test_case = {
      name = "integer.set case 1".

      init = { n = integer.set(0, 3) }.

      ruleset = {}.

      stable = {
        n(0), n(1), n(2), n(3).
      }.
    }.

    teardown = { integer.use :- . rules({@p}) :- . }
  }.

  test_suite = {
    setup = { integer.use. }.

    test_case = {
      name = "integer.set case 2".

      init = { n = integer.set(-2, -1) }.

      ruleset = {}.

      stable = {
        n(-2), n(-1).
      }.
    }.

    teardown = { integer.use :- . rules({@p}) :- . }
  }.

  test_suite = {
    setup = { integer.use. }.

    test_case = {
      name = "integer.set case 3".

      init = { n = integer.set(-2, 2) }.

      ruleset = {}.

      stable = {
        n(-2), n(-1), n(0), n(1), n(2).
      }.
    }.

    teardown = { integer.use :- . rules({@p}) :- . }
  }.

  test_suite = {
    setup = { integer.use. }.

    test_case = {
      name = "integer.set case 4".

      init = { n = integer.set(2, -2) }.

      ruleset = {}.

      stable = {}.
    }.

    teardown = { integer.use :- . rules({@p}) :- . }
  }.
}.