RunKit + npm: jsverify-commands

const assert = require('assert'); const jsc = require('jsverify'); const jscCommands = require('jsverify-commands');

function PopCommand() { this.check = (desc) => desc.numEntries > 0; this.run = function(tab, desc) { tab.pop(); --desc.numEntries; return tab.length == desc.numEntries; }; this.name = `PopCommand`; } function PushCommand(value) { this.check = (desc) => true; this.run = function(tab, desc) { tab.push(value); ++desc.numEntries; return tab.length == desc.numEntries; }; this.name = `PushCommand(${value})`; }

const describe = (name, f) => f(); const it = async (name, f) => { try { await f(); console.log(`${name}: success`); } catch (err) { console.log(`${name}: failed with error`); console.log(err); } };

describe('Array', function() { it('should confirm commands', function() { const commands = jscCommands.commands( jscCommands.command(PopCommand), jscCommands.command(PushCommand, jsc.nat)); const warmup = () => new Object({state: [], model: {numEntries: 0}}); const teardown = () => {}; const settings = { metrics: true, verbose: true }; return jscCommands.assertForall(commands, warmup, teardown, settings); }); });