Closed jubnzv closed 1 year ago
We need a library API that creates a single "product" contract from a few input contracts.
The most important functionality is the ability to get a single cmodule from a few cmodules and accumulate used imported libraries (rlibs).
cmodule
rlibs
This API will be used in the tools based on TLA+ and QuickChick to test multi-contract projects.
Moving to Scilla 0.14.0.
jjcnn
commented
1 year ago jjcnn
commented
1 year ago
We need a library API that creates a single "product" contract from a few input contracts.
The most important functionality is the ability to get a single
cmodulefrom a fewcmodules and accumulate used imported libraries (rlibs).This API will be used in the tools based on TLA+ and QuickChick to test multi-contract projects.