From f51ee604991743b2eb4a61bc200843d7191d48e7 Mon Sep 17 00:00:00 2001 From: Ladislav Zezula Date: Tue, 27 Jun 2023 09:50:29 +0200 Subject: Added missing files --- .vscode/settings.json | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 .vscode/settings.json (limited to '.vscode/settings.json') diff --git a/.vscode/settings.json b/.vscode/settings.json new file mode 100644 index 0000000..f4905d4 --- /dev/null +++ b/.vscode/settings.json @@ -0,0 +1,8 @@ +{ + //test ok + "cmake.configureArgs": [ + "-DCMAKE_BUILD_TYPE=Debug", + "-DSTORM_BUILD_TESTS=on", + ] + } + \ No newline at end of file -- cgit v1.2.3