From f51ee604991743b2eb4a61bc200843d7191d48e7 Mon Sep 17 00:00:00 2001
From: Ladislav Zezula <Ladislav Zezula>
Date: Tue, 27 Jun 2023 09:50:29 +0200
Subject: Added missing files

---
 .vscode/launch.json | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 .vscode/launch.json

(limited to '.vscode/launch.json')

diff --git a/.vscode/launch.json b/.vscode/launch.json
new file mode 100644
index 0000000..229422d
--- /dev/null
+++ b/.vscode/launch.json
@@ -0,0 +1,34 @@
+{
+    // Use IntelliSense to learn about possible attributes.
+    // 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",
+    "configurations": [
+        {
+            "name": "(gdb) Launch",
+            "type": "cppdbg",
+            "request": "launch",
+            "program": "${workspaceFolder}/build/storm_test",
+            "args": [],
+            "stopAtEntry": false,
+            "cwd": "${workspaceFolder}",
+            "environment": [],
+            "externalConsole": false,
+            "MIMode": "gdb",
+            "setupCommands": [
+                {
+                    "description": "Enable pretty-printing for gdb",
+                    "text": "-enable-pretty-printing",
+                    "ignoreFailures": true
+                },
+                {
+                    "description": "Set Disassembly Flavor to Intel",
+                    "text": "-gdb-set disassembly-flavor intel",
+                    "ignoreFailures": true
+                }
+            ]
+        }
+
+    ]
+}
\ No newline at end of file
-- 
cgit v1.2.3


From bf5d6d10c136fefd73d3e02304111b26dc6b19b8 Mon Sep 17 00:00:00 2001
From: Ladislav Zezula <Ladislav Zezula>
Date: Tue, 27 Jun 2023 09:57:13 +0200
Subject: Renamed the output executable

---
 .vscode/launch.json   | 4 ++--
 .vscode/settings.json | 1 -
 2 files changed, 2 insertions(+), 3 deletions(-)

(limited to '.vscode/launch.json')

diff --git a/.vscode/launch.json b/.vscode/launch.json
index 229422d..9da39f0 100644
--- a/.vscode/launch.json
+++ b/.vscode/launch.json
@@ -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}",
diff --git a/.vscode/settings.json b/.vscode/settings.json
index f4905d4..58b5100 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -1,5 +1,4 @@
 {
-    //test ok 
    "cmake.configureArgs": [
        "-DCMAKE_BUILD_TYPE=Debug",
        "-DSTORM_BUILD_TESTS=on",
-- 
cgit v1.2.3