aboutsummaryrefslogtreecommitdiff
path: root/.vscode/settings.json
blob: f4905d4286791421496c4aa6f64368afb51027b7 (plain) 
1
2
3
4
5
6
7
8

{
    //test ok 
   "cmake.configureArgs": [
       "-DCMAKE_BUILD_TYPE=Debug",
       "-DSTORM_BUILD_TESTS=on",
   ]
 }