Cannot include a Viper plugin

[totoyoyo]

I tried adding a plugin to a verifier through the Viper-IDE settings. However, this does not seem to work. For example, this is from the viperSettings.verificationBackends settings:

"stages": [
           {
            "name": "verify",
            "isVerification": true,
            "mainMethod": "viper.carbon.Carbon",
            "customArguments": "--plugin vipeeaser.das --z3Exe $z3Exe$ --boogieExe $boogieExe$ $fileToVerify$"
           }
]

The argument to --plugin is complete gibberish, but there are no errors, suggesting that no plugin is added. I have also tried a valid input but did not see any effect from the plugin. I suspect the plugin is not even loaded. Writing out the command in cmd works, but not in the Viper IDE. What's the issue?

[totoyoyo]

I moved this issue to the viperserver repository, so closing this one.