Testing contracts in TS

This library provides a TypeScript layer on top of Completium CLI library.

Types

The table below presents exported types:

Type	Desc
Micheline	Micheline value
MichelineType	Micheline type
Account	Account imported with Completium CLI
Parameters	Extra parameters when calling entrypoints (caller and amount of tez sent)

Execution modes

set_mockup() : void

Sets Completium to work in mockup mode.

set_mockup_now(d) : void

Sets contract's now value.

Parameter	Type	Desc
d	Date	Date value for now

set_quiet(b) : void

Sets quiet mode (no execution trace) to b.

Parameter	Type	Desc
b	boolean	quiet mode

Account

get_account(name) : Account

Returns account named name

Parameter	Type	Desc
name	string	Account name

transfer(from, to, amount) : Promise<void>

Transfers tez from an account to another.

Parameter	Type	Desc
from	Account	Account to transfer from
to	Account | string	Account or address to transfer to
amount	bigint	Amount to transfer in mutez

Crypto

pack(obj, typ) : string

Off-chain version of pack utility

Parameter	Type	Desc
obj	Micheline	Object to pack
typ	MichelineType | undefined	Optional Micheline Type of obj

sign(v, a) : Promise<string>

Off-chain signature utility. A signature is check on-chain withcheck_signature

Parameter	Type	Desc
v	string	value to sign
a	Account	Signer account

Contract

deploy(path, paramters, p) : Promise<string>)

Deploys an archetype contract. Returns contract address.

Parameter	Type	Desc
path	string	Path to archetype contract file (.arl)
parameters	any	Contract parameters
p	Partial<Parameters>	Deployment parameters

call(addr, entry, arg, params) : Promise<void>

Calls a contract entrypoint.

Parameter	Type	Desc
addr	string	Contract address
entry	string	Contract entry point name
arg	Micheline	Entry point parameter
params	Partial<Parameters>	Call parameters

get_storage(addr) : Promise<any

Returns contract storage.

Parameter	Type	Desc
addr	string	Contract address

get_big_map_value(bmid, k, t) : Promise<Micheline>

Returns the value associated to a key in a big_map

Parameter	Type	Desc
bmid	bigint	Big map identifier
k	Michleine	Key value
t	MichelineType	Key type

Flow control

expect_to_fail(f, error) : Promise<void>

Fails if f does not fail with error

Parameter	Type	Desc
f	{ () : Promise<void> }	Function to execute
error	Michleine	Error to catch

Micheline utilities

Name
prim_to_mich_type
bool_to_mich
bigint_to_mich
string_to_mich
elt_to_mich
pair_to_mich
pair_to_mich_type
option_to_mich_type
none_mich
some_to_mich
option_to_mich
list_to_mich
set_to_mich