Questa formal licence problem in formal verification

Hi,

I have a licence problem but don’t know. When I type in command “qformal”, it could run the simulation normally. But when I run my makefile, it reminds me the errors as the following picture shows. If any licence is missing, I will contact the IT of my company to install it.

I cannot post picture.
Please see my dropbox link.

The second one is my tcl file

Thanks

You need to contact your vendor’s support team for tool issues.