chr/test/jit-compiler/stack.js

Interpreter for Constraint Handling Rules (CHR) in JavaScript

const test = require('tape')

const CHR = require('../../src/index')

test('Prevent MaxRange error for large recursions', function (t) {
  const chr = new CHR()

  const maxCall = 10000

  chr('r1 @ a(N) ==> N > 0 | a(N-1)')
  chr.a(maxCall).then(function () {
    t.equal(chr.Store.length, maxCall + 1, 'Rule applied ' + maxCall + ' times')
    t.end()
  })
})