Skip to content

Commit

Permalink
Updated vs code config files.
Browse files Browse the repository at this point in the history
  • Loading branch information
joaquinffernandez committed Aug 28, 2024
1 parent 5067c01 commit 46a66ff
Showing 1 changed file with 20 additions and 0 deletions.
20 changes: 20 additions & 0 deletions src/mmoc/.vscode/launch.json
Original file line number Diff line number Diff line change
Expand Up @@ -594,6 +594,26 @@
"ignoreFailures": true
}
]
},

// Use time variable in initialization code
{
"name": "Init Code Time Test model.",
"type": "cppdbg",
"request": "launch",
"program": "${workspaceFolder}/usr/bin/mmoc",
"args": ["-o /home/joaquin/work/qss-solver/build/init_code_time/init_code_time ", "/home/joaquin/work/qss-solver/src/mmoc/tests/system/gt_data/init_code_time/init_code_time.mo"],
"cwd": "${workspaceFolder}/usr/bin/",
"environment": [],
"MIMode": "gdb",
"setupCommands": [
{
"description": "Enable pretty-printing for gdb",
"text": "-enable-pretty-printing",
"ignoreFailures": true
}
]
}

]
}

0 comments on commit 46a66ff

Please sign in to comment.