lean4-code-actions/libs/utils/BigNumber/utils.test.ts

Refactorings and snippets for Lean 4

import { test } from '@jest/globals'
import { expect } from '../../chai/init'
import { BigNumber, minimax } from './utils'

test(minimax.name, () => {
  const one = new BigNumber(1)
  const ten = new BigNumber(10)
  const twenty = new BigNumber(20)
  const thirty = new BigNumber(30)
  expect(minimax(ten, one, twenty)).to.bignumber.equal(ten)
  expect(minimax(one, ten, twenty)).to.bignumber.equal(ten)
  expect(minimax(thirty, ten, twenty)).to.bignumber.equal(twenty)
})