test-crashingContract.js

/* global __dirname */
// @ts-check

// TODO Remove babel-standalone preinitialization
// https://github.com/endojs/endo/issues/768
import '@agoric/babel-standalone';
// eslint-disable-next-line import/no-extraneous-dependencies
import '@agoric/install-ses';
// eslint-disable-next-line import/no-extraneous-dependencies
import test from 'ava';

import { loadBasedir, buildVatController } from '@agoric/swingset-vat';
import bundleSource from '@agoric/bundle-source';

import fs from 'fs';

const CONTRACT_FILES = ['crashingAutoRefund'];
const generateBundlesP = Promise.all(
  CONTRACT_FILES.map(async contract => {
    const bundle = await bundleSource(`${__dirname}/${contract}`);
    const obj = { bundle, contract };
    fs.writeFileSync(
      `${__dirname}/bundle-${contract}.js`,
      `export default ${JSON.stringify(obj)};`,
    );
  }),
);

async function main(argv) {
  const config = await loadBasedir(__dirname);
  config.defaultManagerType = 'xs-worker';
  await generateBundlesP;
  const controller = await buildVatController(config, argv);
  await controller.run();
  return controller.dump();
}

const meterExceededInOfferLog = [
  '=> alice is set up',
  '=> alice.doMeterExceptionInHook called',
  'outcome correctly resolves to broken: RangeError: Allocate meter exceeded',
  'aliceMoolaPurse: balance {"brand":{},"value":3}',
  'aliceSimoleanPurse: balance {"brand":{},"value":0}',
  'contract no longer responds: RangeError: Allocate meter exceeded',
  'counter: 2',
];
// TODO: Unskip. See https://github.com/Agoric/agoric-sdk/issues/1625
test.skip('ZCF metering crash on invitation exercise', async t => {
  const dump = await main(['meterInOfferHook', [3, 0, 0]]);
  t.deepEqual(dump.log, meterExceededInOfferLog);
});

const meterExceededInSecondOfferLog = [
  '=> alice is set up',
  '=> alice.doMeterExceptionInHook called',
  'Swap outcome resolves to an invitation: [Alleged: presence o-73]',
  'aliceMoolaPurse: balance {"brand":{},"value":0}',
  'aliceSimoleanPurse: balance {"brand":{},"value":0}',
  'aliceMoolaPurse: balance {"brand":{},"value":5}',
  'aliceSimoleanPurse: balance {"brand":{},"value":0}',
  'swap value, 5',
  'outcome correctly resolves to broken: RangeError: Allocate meter exceeded',
  'contract no longer responds: RangeError: Allocate meter exceeded',
  'aliceMoolaPurse: balance {"brand":{},"value":8}',
  'aliceSimoleanPurse: balance {"brand":{},"value":0}',
  'refund value, 8',
  'counter: 2',
];
// TODO: Unskip. See https://github.com/Agoric/agoric-sdk/issues/1625
test.skip('ZCF metering crash on second invitation', async t => {
  const dump = await main(['meterInSecondInvitation', [8, 0, 0]]);
  t.deepEqual(dump.log, meterExceededInSecondOfferLog);
});

const throwInOfferLog = [
  '=> alice is set up',
  '=> alice.doThrowInHook called',
  'counter: 2',
  'outcome correctly resolves to broken: Error: someException',
  'counter: 4',
  'aliceMoolaPurse: balance {"brand":{},"value":3}',
  'aliceSimoleanPurse: balance {"brand":{},"value":0}',
  'counter: 5',
  'newCounter: 2',
  'Successful refund: The offer was accepted',
  'new Purse: balance {"brand":{},"value":3}',
  'aliceSimoleanPurse: balance {"brand":{},"value":0}',
  'counter: 7',
];

test('ZCF throwing on invitation exercise', async t => {
  const dump = await main(['throwInOfferHook', [3, 0, 0]]);
  t.deepEqual(dump.log, throwInOfferLog);
});

const throwInAPILog = [
  '=> alice is set up',
  '=> alice.doThrowInApiCall called',
  'counter: 3',
  'throwingAPI should throw Error: someException',
  'counter: 5',
  'counter: 6',
  'Swap outcome is an invitation (true).',
  'newCounter: 2',
  'counter: 7',
  'outcome correctly resolves: "The offer has been accepted. Once the contract has been completed, please check your payout"',
  'aliceMoolaPurse: balance {"brand":{},"value":3}',
  'aliceSimoleanPurse: balance {"brand":{},"value":8}',
  'second moolaPurse: balance {"brand":{},"value":2}',
  'second simoleanPurse: balance {"brand":{},"value":4}',
];

test('ZCF throwing in API call', async t => {
  const dump = await main(['throwInApiCall', [5, 12, 0]]);
  t.deepEqual(dump.log, throwInAPILog);
});

const meteringExceededInAPILog = [
  '=> alice is set up',
  '=> alice.doMeterInApiCall called',
  'counter: 2',
  'counter: 3',
  'counter: 5',
  'Vat correctly died for RangeError: Allocate meter exceeded',
  'outcome correctly resolves to "The offer was accepted"',
  'aliceMoolaPurse: balance {"brand":{},"value":3}',
  'aliceSimoleanPurse: balance {"brand":{},"value":0}',
  'contract no longer responds: RangeError: Allocate meter exceeded',
  'newCounter: 2',
];
// TODO: Unskip. See https://github.com/Agoric/agoric-sdk/issues/1625
test.skip('ZCF metering crash in API call', async t => {
  const dump = await main(['meterInApiCall', [3, 0, 0]]);
  t.deepEqual(dump.log, meteringExceededInAPILog);
});

const meteringExceptionInMakeContractILog = [
  '=> alice is set up',
  '=> alice.doMeterExceptionInMakeContract called',
  'contract creation failed: RangeError: Allocate meter exceeded',
  'newCounter: 2',
];
// TODO: Unskip. See https://github.com/Agoric/agoric-sdk/issues/1625
test.skip('ZCF metering crash in makeContract call', async t => {
  const dump = await main(['meterInMakeContract', [3, 0, 0]]);
  t.deepEqual(dump.log, meteringExceptionInMakeContractILog);
});

const thrownExceptionInMakeContractILog = [
  '=> alice is set up',
  '=> alice.doThrowInMakeContract called',
  'contract creation failed: Error: blowup in makeContract',
  'newCounter: 2',
];

test('throw in makeContract call', async t => {
  const dump = await main(['throwInMakeContract', [3, 0, 0]]);
  t.deepEqual(dump.log, thrownExceptionInMakeContractILog);
});

const happyTerminationLog = [
  '=> alice is set up',
  '=> alice.doHappyTermination called',
  'happy termination saw "Success"',
];

test('happy termination path', async t => {
  const dump = await main(['happyTermination', [3, 0, 0]]);
  t.deepEqual(dump.log, happyTerminationLog);
});

const happyTerminationWOffersLog = [
  '=> alice is set up',
  '=> alice.doHappyTerminationWOffers called',
  'seat has been exited: [object Promise]',
  'Swap outcome rejected before fulfillment: "Error: vat terminated"',
  'happy termination saw "Success"',
  'second moolaPurse: balance {"brand":{},"value":5}',
  'second simoleanPurse: balance {"brand":{},"value":0}',
];

test('happy termination with offers path', async t => {
  const dump = await main(['happyTerminationWOffers', [5, 0, 0]]);
  t.deepEqual(dump.log, happyTerminationWOffersLog);
});

const doHappyTerminationRefusesContactLog = [
  '=> alice is set up',
  '=> alice.doHappyTerminationWOffers called',
  'offer correctly refused: "Error: No further offers are accepted"',
  'happy termination saw "Success"',
  'can\'t make more invitations because "Error: vat terminated"',
];

test('happy termination refuses contact path', async t => {
  const dump = await main(['doHappyTerminationRefusesContact', [5, 0, 0]]);
  t.deepEqual(dump.log, doHappyTerminationRefusesContactLog);
});

const sadTerminationLog = [
  '=> alice is set up',
  '=> alice.doSadTermination called',
  'sad termination saw reject "Sadness"',
];

test('sad termination path', async t => {
  const dump = await main(['sadTermination', [3, 0, 0]]);
  t.deepEqual(dump.log, sadTerminationLog);
});