Renamed the output executable

This commit is contained in:
Ladislav Zezula
2023-06-27 09:57:13 +02:00
parent f51ee60499
commit bf5d6d10c1
2 changed files with 2 additions and 3 deletions

4
.vscode/launch.json vendored
View File

@@ -3,13 +3,13 @@
// Hover to view descriptions of existing attributes.
// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
"version": "0.2.0",
"program": "./build/storm_test",
"program": "./build/StormLib_test",
"configurations": [
{
"name": "(gdb) Launch",
"type": "cppdbg",
"request": "launch",
"program": "${workspaceFolder}/build/storm_test",
"program": "${workspaceFolder}/build/StormLib_test",
"args": [],
"stopAtEntry": false,
"cwd": "${workspaceFolder}",

View File

@@ -1,5 +1,4 @@
{
//test ok
"cmake.configureArgs": [
"-DCMAKE_BUILD_TYPE=Debug",
"-DSTORM_BUILD_TESTS=on",