source.dirs             = main, cfg
junit.dirs               = junit
project.name            = icm-contract-verification-module
project.version         = 0.1.7
project.label		=