pbt/ts/src/index.test.ts


1
2
3
4
5
6
7
8
9
10
11

import {prop_reverse_with_two_lists} from './index';
import {Property} from './property';

describe('testing lists reversal', () => {
  test('reverse of two appended lists is append of each list reversed', async () => {
    const reverse_append_result = await Property.run(
      prop_reverse_with_two_lists,
    );
    expect(reverse_append_result.result).toBe('OK');
  });
});