Warp in docker

[piwonskp]

Right now warp can be run using docker run and docker-compose. Apart from warp container docker-compose features starknet devnet container so users could test their warped contracts. Which should be our default docker solution? Do warp users need and use devnet?

[nihaoqingtuan]

i get the same issue:
After I installed the warp using the method on this page: /warp/docs/contribution_guidelines/setuping-development-environment I tried to translate ERC20.sol($ warp transpile ERC20.sol), and the error was reported as follows:

Transpilation abandoned Import warp_external_input_check_int256 from warplib.maths.external_input_check_ints is not defined.