VSCode Development - code is inactive due to #[cfg] directives: kani is disabled

[franklee26]

Hi all,

I'm interested in adding Kani to a project I'm working on. I was able to complete the installation and setup and run a basic harness from my machine. I'm using vscode w/ rust-analyzer and the Kani directives are greyed out due to code is inactive due to #[cfg] directives: kani is disabled. I added "rust-analyzer.cargo.features": "all" to my settings.json and restarted rust-analyzer + vscode to no avail. What is the recommended development setup to get around this?

[zhassan-aws]

Can you try adding:

    "rust-analyzer.cargo.cfgs": {
        "kani": null,
    },

to settings.json?