chr/test/parser/body.js

Interpreter for Constraint Handling Rules (CHR) in JavaScript

const test = require('tape')

const parse = require('../../parse').element('Body')

test('b(N+1,N+2)', function (t) {
  const res = parse('b(N+1,N+2)')

  t.equal(typeof res, 'object')
  t.ok(res instanceof Array)
  t.equal(res.length, 1)

  t.end()
})

test('b(N+1,N+2), c(N-1)', function (t) {
  const res = parse('b(N+1,N+2), c(N-1)')

  t.equal(typeof res, 'object')
  t.ok(res instanceof Array)
  t.equal(res.length, 2)

  t.end()
})