Adding import to VeriSolContracts.sol using solc allow-path

[shuvendu-lahiri]

Currently

import "../../Libraries/VeriSolContracts.sol" 

does not seem to work on Windows. Hence the VeriSolContracts.sol has to be copied to the folder/sub-folder of the contract that imports it. Maybe there is a way to use allow-path flag to solc to fix this?

[shuvendu-lahiri]

Currently, one can use it as follows:

d:\verisol>Tool\solc.exe --allow-paths d:\verisol\ test\regressions\foo.sol

and inside foo.sol, use

import "./../../Libraries/VeriSolContracts.sol";

Need to add a flag that allows VeriSol.dll to take additional args for solc.

[shuvendu-lahiri]

And the imported folder has to be in a subfolder from where the command is being executed.