GCC Code Coverage Report

Directory: ../
File: test/unittest/UnitDriver.cpp
Date: 2025-10-27 22:48:14
Coverage Exec Excl Total
Lines: 100.0% 171 0 171
Functions: 100.0% 24 0 24
Branches: 21.8% 283 0 1300
Line Branch Exec Source
1 // Copyright (c) 2021-2025 ChilliBits. All rights reserved.
2
3 #include <gtest/gtest.h>
4
5 #include <driver/Driver.h>
6
7 namespace spice::testing {
8
9 using namespace spice::compiler;
10
11 4 TEST(DriverTest, TestBuildSubcommandMinimal) {
12 1 const char *argv[] = {"spice", "build", "../../media/test-project/test.spice"};
13 static constexpr int argc = std::size(argv);
14
1/2
✓ Branch 2 → 3 taken 1 time.
✗ Branch 2 → 357 not taken.
 1 Driver driver(true);
15
1/2
✓ Branch 3 → 4 taken 1 time.
✗ Branch 3 → 355 not taken.
 1 driver.init();
16
4/14
✓ Branch 4 → 5 taken 1 time.
✗ Branch 4 → 214 not taken.
✓ Branch 5 → 6 taken 1 time.
✗ Branch 5 → 213 not taken.
✗ Branch 7 → 8 not taken.
✓ Branch 7 → 15 taken 1 time.
✗ Branch 8 → 9 not taken.
✗ Branch 8 → 220 not taken.
✗ Branch 10 → 11 not taken.
✗ Branch 10 → 217 not taken.
✗ Branch 11 → 12 not taken.
✗ Branch 11 → 215 not taken.
✓ Branch 17 → 18 taken 1 time.
✗ Branch 17 → 20 not taken.
 1 ASSERT_EQ(EXIT_SUCCESS, driver.parse(argc, argv));
17
1/2
✓ Branch 19 → 21 taken 1 time.
✗ Branch 19 → 355 not taken.
 1 driver.enrich();
18
19
2/12
✗ Branch 23 → 24 not taken.
✓ Branch 23 → 33 taken 1 time.
✗ Branch 24 → 25 not taken.
✗ Branch 24 → 232 not taken.
✗ Branch 25 → 26 not taken.
✗ Branch 25 → 228 not taken.
✗ Branch 27 → 28 not taken.
✗ Branch 27 → 226 not taken.
✗ Branch 28 → 29 not taken.
✗ Branch 28 → 224 not taken.
✓ Branch 35 → 36 taken 1 time.
✗ Branch 35 → 40 not taken.
 1 ASSERT_TRUE(driver.shouldCompile);
20
2/12
✗ Branch 39 → 41 not taken.
✓ Branch 39 → 50 taken 1 time.
✗ Branch 41 → 42 not taken.
✗ Branch 41 → 244 not taken.
✗ Branch 42 → 43 not taken.
✗ Branch 42 → 240 not taken.
✗ Branch 44 → 45 not taken.
✗ Branch 44 → 238 not taken.
✗ Branch 45 → 46 not taken.
✗ Branch 45 → 236 not taken.
✓ Branch 52 → 53 taken 1 time.
✗ Branch 52 → 57 not taken.
 1 ASSERT_FALSE(driver.shouldInstall);
21
2/12
✗ Branch 56 → 58 not taken.
✓ Branch 56 → 67 taken 1 time.
✗ Branch 58 → 59 not taken.
✗ Branch 58 → 256 not taken.
✗ Branch 59 → 60 not taken.
✗ Branch 59 → 252 not taken.
✗ Branch 61 → 62 not taken.
✗ Branch 61 → 250 not taken.
✗ Branch 62 → 63 not taken.
✗ Branch 62 → 248 not taken.
✓ Branch 69 → 70 taken 1 time.
✗ Branch 69 → 74 not taken.
 1 ASSERT_FALSE(driver.shouldUninstall);
22
2/12
✗ Branch 73 → 75 not taken.
✓ Branch 73 → 84 taken 1 time.
✗ Branch 75 → 76 not taken.
✗ Branch 75 → 268 not taken.
✗ Branch 76 → 77 not taken.
✗ Branch 76 → 264 not taken.
✗ Branch 78 → 79 not taken.
✗ Branch 78 → 262 not taken.
✗ Branch 79 → 80 not taken.
✗ Branch 79 → 260 not taken.
✓ Branch 86 → 87 taken 1 time.
✗ Branch 86 → 91 not taken.
 1 ASSERT_FALSE(driver.shouldExecute);
23
2/12
✗ Branch 90 → 92 not taken.
✓ Branch 90 → 101 taken 1 time.
✗ Branch 92 → 93 not taken.
✗ Branch 92 → 280 not taken.
✗ Branch 93 → 94 not taken.
✗ Branch 93 → 276 not taken.
✗ Branch 95 → 96 not taken.
✗ Branch 95 → 274 not taken.
✗ Branch 96 → 97 not taken.
✗ Branch 96 → 272 not taken.
✓ Branch 103 → 104 taken 1 time.
✗ Branch 103 → 106 not taken.
 1 ASSERT_FALSE(driver.cliOptions.execute);
24
5/16
✓ Branch 105 → 107 taken 1 time.
✗ Branch 105 → 288 not taken.
✓ Branch 107 → 108 taken 1 time.
✗ Branch 107 → 286 not taken.
✓ Branch 108 → 109 taken 1 time.
✗ Branch 108 → 284 not taken.
✗ Branch 112 → 113 not taken.
✓ Branch 112 → 120 taken 1 time.
✗ Branch 113 → 114 not taken.
✗ Branch 113 → 295 not taken.
✗ Branch 115 → 116 not taken.
✗ Branch 115 → 292 not taken.
✗ Branch 116 → 117 not taken.
✗ Branch 116 → 290 not taken.
✓ Branch 122 → 123 taken 1 time.
✗ Branch 122 → 125 not taken.
 1 ASSERT_EQ("../../media/test-project/test.spice", driver.cliOptions.mainSourceFile.relative_path().generic_string());
25
3/12
✓ Branch 124 → 126 taken 1 time.
✗ Branch 124 → 299 not taken.
✗ Branch 127 → 128 not taken.
✓ Branch 127 → 135 taken 1 time.
✗ Branch 128 → 129 not taken.
✗ Branch 128 → 305 not taken.
✗ Branch 130 → 131 not taken.
✗ Branch 130 → 302 not taken.
✗ Branch 131 → 132 not taken.
✗ Branch 131 → 300 not taken.
✓ Branch 137 → 138 taken 1 time.
✗ Branch 137 → 140 not taken.
 1 ASSERT_EQ(OptLevel::O0, driver.cliOptions.optLevel);
26
3/12
✓ Branch 139 → 141 taken 1 time.
✗ Branch 139 → 309 not taken.
✗ Branch 142 → 143 not taken.
✓ Branch 142 → 150 taken 1 time.
✗ Branch 143 → 144 not taken.
✗ Branch 143 → 315 not taken.
✗ Branch 145 → 146 not taken.
✗ Branch 145 → 312 not taken.
✗ Branch 146 → 147 not taken.
✗ Branch 146 → 310 not taken.
✓ Branch 152 → 153 taken 1 time.
✗ Branch 152 → 157 not taken.
 1 ASSERT_EQ(BuildMode::DEBUG, driver.cliOptions.buildMode);
27
2/12
✗ Branch 156 → 158 not taken.
✓ Branch 156 → 167 taken 1 time.
✗ Branch 158 → 159 not taken.
✗ Branch 158 → 327 not taken.
✗ Branch 159 → 160 not taken.
✗ Branch 159 → 323 not taken.
✗ Branch 161 → 162 not taken.
✗ Branch 161 → 321 not taken.
✗ Branch 162 → 163 not taken.
✗ Branch 162 → 319 not taken.
✓ Branch 169 → 170 taken 1 time.
✗ Branch 169 → 174 not taken.
 1 ASSERT_FALSE(driver.cliOptions.generateTestMain);
28
2/12
✗ Branch 173 → 175 not taken.
✓ Branch 173 → 184 taken 1 time.
✗ Branch 175 → 176 not taken.
✗ Branch 175 → 339 not taken.
✗ Branch 176 → 177 not taken.
✗ Branch 176 → 335 not taken.
✗ Branch 178 → 179 not taken.
✗ Branch 178 → 333 not taken.
✗ Branch 179 → 180 not taken.
✗ Branch 179 → 331 not taken.
✓ Branch 186 → 187 taken 1 time.
✗ Branch 186 → 191 not taken.
 1 ASSERT_FALSE(driver.cliOptions.testMode);
29
2/12
✗ Branch 190 → 192 not taken.
✓ Branch 190 → 201 taken 1 time.
✗ Branch 192 → 193 not taken.
✗ Branch 192 → 351 not taken.
✗ Branch 193 → 194 not taken.
✗ Branch 193 → 347 not taken.
✗ Branch 195 → 196 not taken.
✗ Branch 195 → 345 not taken.
✗ Branch 196 → 197 not taken.
✗ Branch 196 → 343 not taken.
✓ Branch 203 → 204 taken 1 time.
✗ Branch 203 → 206 not taken.
 1 ASSERT_FALSE(driver.cliOptions.noEntryFct);
30
1/2
✓ Branch 208 → 209 taken 1 time.
✗ Branch 208 → 211 not taken.
 1 }
31
32 4 TEST(DriverTest, TestBuildSubcommandComplex) {
33 1 const char *argv[] = {"spice", "b", "-d", "-ir", "-g", "-Os", "-m", "release", "-lto", "--sanitizer=address", "../../media/test-project/test.spice"};
34 static constexpr int argc = std::size(argv);
35
1/2
✓ Branch 2 → 3 taken 1 time.
✗ Branch 2 → 498 not taken.
 1 Driver driver(true);
36
1/2
✓ Branch 3 → 4 taken 1 time.
✗ Branch 3 → 496 not taken.
 1 driver.init();
37
4/14
✓ Branch 4 → 5 taken 1 time.
✗ Branch 4 → 297 not taken.
✓ Branch 5 → 6 taken 1 time.
✗ Branch 5 → 296 not taken.
✗ Branch 7 → 8 not taken.
✓ Branch 7 → 15 taken 1 time.
✗ Branch 8 → 9 not taken.
✗ Branch 8 → 303 not taken.
✗ Branch 10 → 11 not taken.
✗ Branch 10 → 300 not taken.
✗ Branch 11 → 12 not taken.
✗ Branch 11 → 298 not taken.
✓ Branch 17 → 18 taken 1 time.
✗ Branch 17 → 20 not taken.
 1 ASSERT_EQ(EXIT_SUCCESS, driver.parse(argc, argv));
38
1/2
✓ Branch 19 → 21 taken 1 time.
✗ Branch 19 → 496 not taken.
 1 driver.enrich();
39
40
2/12
✗ Branch 23 → 24 not taken.
✓ Branch 23 → 33 taken 1 time.
✗ Branch 24 → 25 not taken.
✗ Branch 24 → 315 not taken.
✗ Branch 25 → 26 not taken.
✗ Branch 25 → 311 not taken.
✗ Branch 27 → 28 not taken.
✗ Branch 27 → 309 not taken.
✗ Branch 28 → 29 not taken.
✗ Branch 28 → 307 not taken.
✓ Branch 35 → 36 taken 1 time.
✗ Branch 35 → 40 not taken.
 1 ASSERT_TRUE(driver.shouldCompile);
41
2/12
✗ Branch 39 → 41 not taken.
✓ Branch 39 → 50 taken 1 time.
✗ Branch 41 → 42 not taken.
✗ Branch 41 → 327 not taken.
✗ Branch 42 → 43 not taken.
✗ Branch 42 → 323 not taken.
✗ Branch 44 → 45 not taken.
✗ Branch 44 → 321 not taken.
✗ Branch 45 → 46 not taken.
✗ Branch 45 → 319 not taken.
✓ Branch 52 → 53 taken 1 time.
✗ Branch 52 → 57 not taken.
 1 ASSERT_FALSE(driver.shouldInstall);
42
2/12
✗ Branch 56 → 58 not taken.
✓ Branch 56 → 67 taken 1 time.
✗ Branch 58 → 59 not taken.
✗ Branch 58 → 339 not taken.
✗ Branch 59 → 60 not taken.
✗ Branch 59 → 335 not taken.
✗ Branch 61 → 62 not taken.
✗ Branch 61 → 333 not taken.
✗ Branch 62 → 63 not taken.
✗ Branch 62 → 331 not taken.
✓ Branch 69 → 70 taken 1 time.
✗ Branch 69 → 74 not taken.
 1 ASSERT_FALSE(driver.shouldUninstall);
43
2/12
✗ Branch 73 → 75 not taken.
✓ Branch 73 → 84 taken 1 time.
✗ Branch 75 → 76 not taken.
✗ Branch 75 → 351 not taken.
✗ Branch 76 → 77 not taken.
✗ Branch 76 → 347 not taken.
✗ Branch 78 → 79 not taken.
✗ Branch 78 → 345 not taken.
✗ Branch 79 → 80 not taken.
✗ Branch 79 → 343 not taken.
✓ Branch 86 → 87 taken 1 time.
✗ Branch 86 → 91 not taken.
 1 ASSERT_FALSE(driver.shouldExecute);
44
2/12
✗ Branch 90 → 92 not taken.
✓ Branch 90 → 101 taken 1 time.
✗ Branch 92 → 93 not taken.
✗ Branch 92 → 363 not taken.
✗ Branch 93 → 94 not taken.
✗ Branch 93 → 359 not taken.
✗ Branch 95 → 96 not taken.
✗ Branch 95 → 357 not taken.
✗ Branch 96 → 97 not taken.
✗ Branch 96 → 355 not taken.
✓ Branch 103 → 104 taken 1 time.
✗ Branch 103 → 106 not taken.
 1 ASSERT_FALSE(driver.cliOptions.execute);
45
5/16
✓ Branch 105 → 107 taken 1 time.
✗ Branch 105 → 371 not taken.
✓ Branch 107 → 108 taken 1 time.
✗ Branch 107 → 369 not taken.
✓ Branch 108 → 109 taken 1 time.
✗ Branch 108 → 367 not taken.
✗ Branch 112 → 113 not taken.
✓ Branch 112 → 120 taken 1 time.
✗ Branch 113 → 114 not taken.
✗ Branch 113 → 378 not taken.
✗ Branch 115 → 116 not taken.
✗ Branch 115 → 375 not taken.
✗ Branch 116 → 117 not taken.
✗ Branch 116 → 373 not taken.
✓ Branch 122 → 123 taken 1 time.
✗ Branch 122 → 125 not taken.
 1 ASSERT_EQ("../../media/test-project/test.spice", driver.cliOptions.mainSourceFile.relative_path().generic_string());
46
3/12
✓ Branch 124 → 126 taken 1 time.
✗ Branch 124 → 382 not taken.
✗ Branch 127 → 128 not taken.
✓ Branch 127 → 135 taken 1 time.
✗ Branch 128 → 129 not taken.
✗ Branch 128 → 388 not taken.
✗ Branch 130 → 131 not taken.
✗ Branch 130 → 385 not taken.
✗ Branch 131 → 132 not taken.
✗ Branch 131 → 383 not taken.
✓ Branch 137 → 138 taken 1 time.
✗ Branch 137 → 140 not taken.
 1 ASSERT_EQ(OptLevel::Os, driver.cliOptions.optLevel); // -Os
47
3/12
✓ Branch 139 → 141 taken 1 time.
✗ Branch 139 → 392 not taken.
✗ Branch 142 → 143 not taken.
✓ Branch 142 → 150 taken 1 time.
✗ Branch 143 → 144 not taken.
✗ Branch 143 → 398 not taken.
✗ Branch 145 → 146 not taken.
✗ Branch 145 → 395 not taken.
✗ Branch 146 → 147 not taken.
✗ Branch 146 → 393 not taken.
✓ Branch 152 → 153 taken 1 time.
✗ Branch 152 → 157 not taken.
 1 ASSERT_EQ(BuildMode::RELEASE, driver.cliOptions.buildMode); // -m release
48
2/12
✗ Branch 156 → 158 not taken.
✓ Branch 156 → 167 taken 1 time.
✗ Branch 158 → 159 not taken.
✗ Branch 158 → 410 not taken.
✗ Branch 159 → 160 not taken.
✗ Branch 159 → 406 not taken.
✗ Branch 161 → 162 not taken.
✗ Branch 161 → 404 not taken.
✗ Branch 162 → 163 not taken.
✗ Branch 162 → 402 not taken.
✓ Branch 169 → 170 taken 1 time.
✗ Branch 169 → 174 not taken.
 1 ASSERT_FALSE(driver.cliOptions.generateTestMain);
49
2/12
✗ Branch 173 → 175 not taken.
✓ Branch 173 → 184 taken 1 time.
✗ Branch 175 → 176 not taken.
✗ Branch 175 → 422 not taken.
✗ Branch 176 → 177 not taken.
✗ Branch 176 → 418 not taken.
✗ Branch 178 → 179 not taken.
✗ Branch 178 → 416 not taken.
✗ Branch 179 → 180 not taken.
✗ Branch 179 → 414 not taken.
✓ Branch 186 → 187 taken 1 time.
✗ Branch 186 → 191 not taken.
 1 ASSERT_FALSE(driver.cliOptions.testMode);
50
2/12
✗ Branch 190 → 192 not taken.
✓ Branch 190 → 201 taken 1 time.
✗ Branch 192 → 193 not taken.
✗ Branch 192 → 434 not taken.
✗ Branch 193 → 194 not taken.
✗ Branch 193 → 430 not taken.
✗ Branch 195 → 196 not taken.
✗ Branch 195 → 428 not taken.
✗ Branch 196 → 197 not taken.
✗ Branch 196 → 426 not taken.
✓ Branch 203 → 204 taken 1 time.
✗ Branch 203 → 208 not taken.
 1 ASSERT_FALSE(driver.cliOptions.noEntryFct);
51
2/12
✗ Branch 207 → 209 not taken.
✓ Branch 207 → 218 taken 1 time.
✗ Branch 209 → 210 not taken.
✗ Branch 209 → 446 not taken.
✗ Branch 210 → 211 not taken.
✗ Branch 210 → 442 not taken.
✗ Branch 212 → 213 not taken.
✗ Branch 212 → 440 not taken.
✗ Branch 213 → 214 not taken.
✗ Branch 213 → 438 not taken.
✓ Branch 220 → 221 taken 1 time.
✗ Branch 220 → 223 not taken.
 1 ASSERT_TRUE(driver.cliOptions.instrumentation.generateDebugInfo); // -g
52
3/12
✓ Branch 222 → 224 taken 1 time.
✗ Branch 222 → 450 not taken.
✗ Branch 225 → 226 not taken.
✓ Branch 225 → 233 taken 1 time.
✗ Branch 226 → 227 not taken.
✗ Branch 226 → 456 not taken.
✗ Branch 228 → 229 not taken.
✗ Branch 228 → 453 not taken.
✗ Branch 229 → 230 not taken.
✗ Branch 229 → 451 not taken.
✓ Branch 235 → 236 taken 1 time.
✗ Branch 235 → 240 not taken.
 1 ASSERT_EQ(Sanitizer::ADDRESS, driver.cliOptions.instrumentation.sanitizer); // --sanitizer=address
53
2/12
✗ Branch 239 → 241 not taken.
✓ Branch 239 → 250 taken 1 time.
✗ Branch 241 → 242 not taken.
✗ Branch 241 → 468 not taken.
✗ Branch 242 → 243 not taken.
✗ Branch 242 → 464 not taken.
✗ Branch 244 → 245 not taken.
✗ Branch 244 → 462 not taken.
✗ Branch 245 → 246 not taken.
✗ Branch 245 → 460 not taken.
✓ Branch 252 → 253 taken 1 time.
✗ Branch 252 → 257 not taken.
 1 ASSERT_TRUE(driver.cliOptions.useLTO); // -lto
54
2/12
✗ Branch 256 → 258 not taken.
✓ Branch 256 → 267 taken 1 time.
✗ Branch 258 → 259 not taken.
✗ Branch 258 → 480 not taken.
✗ Branch 259 → 260 not taken.
✗ Branch 259 → 476 not taken.
✗ Branch 261 → 262 not taken.
✗ Branch 261 → 474 not taken.
✗ Branch 262 → 263 not taken.
✗ Branch 262 → 472 not taken.
✓ Branch 269 → 270 taken 1 time.
✗ Branch 269 → 274 not taken.
 1 ASSERT_TRUE(driver.cliOptions.printDebugOutput); // -d
55
2/12
✗ Branch 273 → 275 not taken.
✓ Branch 273 → 284 taken 1 time.
✗ Branch 275 → 276 not taken.
✗ Branch 275 → 492 not taken.
✗ Branch 276 → 277 not taken.
✗ Branch 276 → 488 not taken.
✗ Branch 278 → 279 not taken.
✗ Branch 278 → 486 not taken.
✗ Branch 279 → 280 not taken.
✗ Branch 279 → 484 not taken.
✓ Branch 286 → 287 taken 1 time.
✗ Branch 286 → 289 not taken.
 1 ASSERT_TRUE(driver.cliOptions.dump.dumpIR); // -ir
56
1/2
✓ Branch 291 → 292 taken 1 time.
✗ Branch 291 → 294 not taken.
 1 }
57
58 4 TEST(DriverTest, TestRunSubcommandMinimal) {
59 1 const char *argv[] = {"spice", "run", "../../media/test-project/test.spice"};
60 static constexpr int argc = std::size(argv);
61
1/2
✓ Branch 2 → 3 taken 1 time.
✗ Branch 2 → 332 not taken.
 1 Driver driver(true);
62
1/2
✓ Branch 3 → 4 taken 1 time.
✗ Branch 3 → 330 not taken.
 1 driver.init();
63
4/14
✓ Branch 4 → 5 taken 1 time.
✗ Branch 4 → 199 not taken.
✓ Branch 5 → 6 taken 1 time.
✗ Branch 5 → 198 not taken.
✗ Branch 7 → 8 not taken.
✓ Branch 7 → 15 taken 1 time.
✗ Branch 8 → 9 not taken.
✗ Branch 8 → 205 not taken.
✗ Branch 10 → 11 not taken.
✗ Branch 10 → 202 not taken.
✗ Branch 11 → 12 not taken.
✗ Branch 11 → 200 not taken.
✓ Branch 17 → 18 taken 1 time.
✗ Branch 17 → 20 not taken.
 1 ASSERT_EQ(EXIT_SUCCESS, driver.parse(argc, argv));
64
1/2
✓ Branch 19 → 21 taken 1 time.
✗ Branch 19 → 330 not taken.
 1 driver.enrich();
65
66
2/12
✗ Branch 23 → 24 not taken.
✓ Branch 23 → 33 taken 1 time.
✗ Branch 24 → 25 not taken.
✗ Branch 24 → 217 not taken.
✗ Branch 25 → 26 not taken.
✗ Branch 25 → 213 not taken.
✗ Branch 27 → 28 not taken.
✗ Branch 27 → 211 not taken.
✗ Branch 28 → 29 not taken.
✗ Branch 28 → 209 not taken.
✓ Branch 35 → 36 taken 1 time.
✗ Branch 35 → 40 not taken.
 1 ASSERT_TRUE(driver.shouldCompile);
67
2/12
✗ Branch 39 → 41 not taken.
✓ Branch 39 → 50 taken 1 time.
✗ Branch 41 → 42 not taken.
✗ Branch 41 → 229 not taken.
✗ Branch 42 → 43 not taken.
✗ Branch 42 → 225 not taken.
✗ Branch 44 → 45 not taken.
✗ Branch 44 → 223 not taken.
✗ Branch 45 → 46 not taken.
✗ Branch 45 → 221 not taken.
✓ Branch 52 → 53 taken 1 time.
✗ Branch 52 → 57 not taken.
 1 ASSERT_FALSE(driver.shouldInstall);
68
2/12
✗ Branch 56 → 58 not taken.
✓ Branch 56 → 67 taken 1 time.
✗ Branch 58 → 59 not taken.
✗ Branch 58 → 241 not taken.
✗ Branch 59 → 60 not taken.
✗ Branch 59 → 237 not taken.
✗ Branch 61 → 62 not taken.
✗ Branch 61 → 235 not taken.
✗ Branch 62 → 63 not taken.
✗ Branch 62 → 233 not taken.
✓ Branch 69 → 70 taken 1 time.
✗ Branch 69 → 74 not taken.
 1 ASSERT_FALSE(driver.shouldUninstall);
69
2/12
✗ Branch 73 → 75 not taken.
✓ Branch 73 → 84 taken 1 time.
✗ Branch 75 → 76 not taken.
✗ Branch 75 → 253 not taken.
✗ Branch 76 → 77 not taken.
✗ Branch 76 → 249 not taken.
✗ Branch 78 → 79 not taken.
✗ Branch 78 → 247 not taken.
✗ Branch 79 → 80 not taken.
✗ Branch 79 → 245 not taken.
✓ Branch 86 → 87 taken 1 time.
✗ Branch 86 → 91 not taken.
 1 ASSERT_TRUE(driver.shouldExecute);
70
2/12
✗ Branch 90 → 92 not taken.
✓ Branch 90 → 101 taken 1 time.
✗ Branch 92 → 93 not taken.
✗ Branch 92 → 265 not taken.
✗ Branch 93 → 94 not taken.
✗ Branch 93 → 261 not taken.
✗ Branch 95 → 96 not taken.
✗ Branch 95 → 259 not taken.
✗ Branch 96 → 97 not taken.
✗ Branch 96 → 257 not taken.
✓ Branch 103 → 104 taken 1 time.
✗ Branch 103 → 106 not taken.
 1 ASSERT_TRUE(driver.cliOptions.execute);
71
5/16
✓ Branch 105 → 107 taken 1 time.
✗ Branch 105 → 273 not taken.
✓ Branch 107 → 108 taken 1 time.
✗ Branch 107 → 271 not taken.
✓ Branch 108 → 109 taken 1 time.
✗ Branch 108 → 269 not taken.
✗ Branch 112 → 113 not taken.
✓ Branch 112 → 120 taken 1 time.
✗ Branch 113 → 114 not taken.
✗ Branch 113 → 280 not taken.
✗ Branch 115 → 116 not taken.
✗ Branch 115 → 277 not taken.
✗ Branch 116 → 117 not taken.
✗ Branch 116 → 275 not taken.
✓ Branch 122 → 123 taken 1 time.
✗ Branch 122 → 125 not taken.
 1 ASSERT_EQ("../../media/test-project/test.spice", driver.cliOptions.mainSourceFile.relative_path().generic_string());
72
3/12
✓ Branch 124 → 126 taken 1 time.
✗ Branch 124 → 284 not taken.
✗ Branch 127 → 128 not taken.
✓ Branch 127 → 135 taken 1 time.
✗ Branch 128 → 129 not taken.
✗ Branch 128 → 290 not taken.
✗ Branch 130 → 131 not taken.
✗ Branch 130 → 287 not taken.
✗ Branch 131 → 132 not taken.
✗ Branch 131 → 285 not taken.
✓ Branch 137 → 138 taken 1 time.
✗ Branch 137 → 142 not taken.
 1 ASSERT_EQ(OptLevel::O0, driver.cliOptions.optLevel);
73
2/12
✗ Branch 141 → 143 not taken.
✓ Branch 141 → 152 taken 1 time.
✗ Branch 143 → 144 not taken.
✗ Branch 143 → 302 not taken.
✗ Branch 144 → 145 not taken.
✗ Branch 144 → 298 not taken.
✗ Branch 146 → 147 not taken.
✗ Branch 146 → 296 not taken.
✗ Branch 147 → 148 not taken.
✗ Branch 147 → 294 not taken.
✓ Branch 154 → 155 taken 1 time.
✗ Branch 154 → 159 not taken.
 1 ASSERT_FALSE(driver.cliOptions.generateTestMain);
74
2/12
✗ Branch 158 → 160 not taken.
✓ Branch 158 → 169 taken 1 time.
✗ Branch 160 → 161 not taken.
✗ Branch 160 → 314 not taken.
✗ Branch 161 → 162 not taken.
✗ Branch 161 → 310 not taken.
✗ Branch 163 → 164 not taken.
✗ Branch 163 → 308 not taken.
✗ Branch 164 → 165 not taken.
✗ Branch 164 → 306 not taken.
✓ Branch 171 → 172 taken 1 time.
✗ Branch 171 → 176 not taken.
 1 ASSERT_FALSE(driver.cliOptions.testMode);
75
2/12
✗ Branch 175 → 177 not taken.
✓ Branch 175 → 186 taken 1 time.
✗ Branch 177 → 178 not taken.
✗ Branch 177 → 326 not taken.
✗ Branch 178 → 179 not taken.
✗ Branch 178 → 322 not taken.
✗ Branch 180 → 181 not taken.
✗ Branch 180 → 320 not taken.
✗ Branch 181 → 182 not taken.
✗ Branch 181 → 318 not taken.
✓ Branch 188 → 189 taken 1 time.
✗ Branch 188 → 191 not taken.
 1 ASSERT_FALSE(driver.cliOptions.noEntryFct);
76
1/2
✓ Branch 193 → 194 taken 1 time.
✗ Branch 193 → 196 not taken.
 1 }
77
78 4 TEST(DriverTest, TestRunSubcommandComplex) {
79 1 const char *argv[] = {"spice", "r", "-O2", "-j", "8", "-ast", "../../media/test-project/test.spice"};
80 static constexpr int argc = std::size(argv);
81
1/2
✓ Branch 2 → 3 taken 1 time.
✗ Branch 2 → 386 not taken.
 1 Driver driver(true);
82
1/2
✓ Branch 3 → 4 taken 1 time.
✗ Branch 3 → 384 not taken.
 1 driver.init();
83
4/14
✓ Branch 4 → 5 taken 1 time.
✗ Branch 4 → 231 not taken.
✓ Branch 5 → 6 taken 1 time.
✗ Branch 5 → 230 not taken.
✗ Branch 7 → 8 not taken.
✓ Branch 7 → 15 taken 1 time.
✗ Branch 8 → 9 not taken.
✗ Branch 8 → 237 not taken.
✗ Branch 10 → 11 not taken.
✗ Branch 10 → 234 not taken.
✗ Branch 11 → 12 not taken.
✗ Branch 11 → 232 not taken.
✓ Branch 17 → 18 taken 1 time.
✗ Branch 17 → 20 not taken.
 1 ASSERT_EQ(EXIT_SUCCESS, driver.parse(argc, argv));
84
1/2
✓ Branch 19 → 21 taken 1 time.
✗ Branch 19 → 384 not taken.
 1 driver.enrich();
85
86
2/12
✗ Branch 23 → 24 not taken.
✓ Branch 23 → 33 taken 1 time.
✗ Branch 24 → 25 not taken.
✗ Branch 24 → 249 not taken.
✗ Branch 25 → 26 not taken.
✗ Branch 25 → 245 not taken.
✗ Branch 27 → 28 not taken.
✗ Branch 27 → 243 not taken.
✗ Branch 28 → 29 not taken.
✗ Branch 28 → 241 not taken.
✓ Branch 35 → 36 taken 1 time.
✗ Branch 35 → 40 not taken.
 1 ASSERT_TRUE(driver.shouldCompile);
87
2/12
✗ Branch 39 → 41 not taken.
✓ Branch 39 → 50 taken 1 time.
✗ Branch 41 → 42 not taken.
✗ Branch 41 → 261 not taken.
✗ Branch 42 → 43 not taken.
✗ Branch 42 → 257 not taken.
✗ Branch 44 → 45 not taken.
✗ Branch 44 → 255 not taken.
✗ Branch 45 → 46 not taken.
✗ Branch 45 → 253 not taken.
✓ Branch 52 → 53 taken 1 time.
✗ Branch 52 → 57 not taken.
 1 ASSERT_FALSE(driver.shouldInstall);
88
2/12
✗ Branch 56 → 58 not taken.
✓ Branch 56 → 67 taken 1 time.
✗ Branch 58 → 59 not taken.
✗ Branch 58 → 273 not taken.
✗ Branch 59 → 60 not taken.
✗ Branch 59 → 269 not taken.
✗ Branch 61 → 62 not taken.
✗ Branch 61 → 267 not taken.
✗ Branch 62 → 63 not taken.
✗ Branch 62 → 265 not taken.
✓ Branch 69 → 70 taken 1 time.
✗ Branch 69 → 74 not taken.
 1 ASSERT_FALSE(driver.shouldUninstall);
89
2/12
✗ Branch 73 → 75 not taken.
✓ Branch 73 → 84 taken 1 time.
✗ Branch 75 → 76 not taken.
✗ Branch 75 → 285 not taken.
✗ Branch 76 → 77 not taken.
✗ Branch 76 → 281 not taken.
✗ Branch 78 → 79 not taken.
✗ Branch 78 → 279 not taken.
✗ Branch 79 → 80 not taken.
✗ Branch 79 → 277 not taken.
✓ Branch 86 → 87 taken 1 time.
✗ Branch 86 → 91 not taken.
 1 ASSERT_TRUE(driver.shouldExecute);
90
2/12
✗ Branch 90 → 92 not taken.
✓ Branch 90 → 101 taken 1 time.
✗ Branch 92 → 93 not taken.
✗ Branch 92 → 297 not taken.
✗ Branch 93 → 94 not taken.
✗ Branch 93 → 293 not taken.
✗ Branch 95 → 96 not taken.
✗ Branch 95 → 291 not taken.
✗ Branch 96 → 97 not taken.
✗ Branch 96 → 289 not taken.
✓ Branch 103 → 104 taken 1 time.
✗ Branch 103 → 106 not taken.
 1 ASSERT_TRUE(driver.cliOptions.execute);
91
5/16
✓ Branch 105 → 107 taken 1 time.
✗ Branch 105 → 305 not taken.
✓ Branch 107 → 108 taken 1 time.
✗ Branch 107 → 303 not taken.
✓ Branch 108 → 109 taken 1 time.
✗ Branch 108 → 301 not taken.
✗ Branch 112 → 113 not taken.
✓ Branch 112 → 120 taken 1 time.
✗ Branch 113 → 114 not taken.
✗ Branch 113 → 312 not taken.
✗ Branch 115 → 116 not taken.
✗ Branch 115 → 309 not taken.
✗ Branch 116 → 117 not taken.
✗ Branch 116 → 307 not taken.
✓ Branch 122 → 123 taken 1 time.
✗ Branch 122 → 125 not taken.
 1 ASSERT_EQ("../../media/test-project/test.spice", driver.cliOptions.mainSourceFile.relative_path().generic_string());
92
3/12
✓ Branch 124 → 126 taken 1 time.
✗ Branch 124 → 316 not taken.
✗ Branch 127 → 128 not taken.
✓ Branch 127 → 135 taken 1 time.
✗ Branch 128 → 129 not taken.
✗ Branch 128 → 322 not taken.
✗ Branch 130 → 131 not taken.
✗ Branch 130 → 319 not taken.
✗ Branch 131 → 132 not taken.
✗ Branch 131 → 317 not taken.
✓ Branch 137 → 138 taken 1 time.
✗ Branch 137 → 142 not taken.
 1 ASSERT_EQ(OptLevel::O2, driver.cliOptions.optLevel); // -O2
93
2/12
✗ Branch 141 → 143 not taken.
✓ Branch 141 → 152 taken 1 time.
✗ Branch 143 → 144 not taken.
✗ Branch 143 → 334 not taken.
✗ Branch 144 → 145 not taken.
✗ Branch 144 → 330 not taken.
✗ Branch 146 → 147 not taken.
✗ Branch 146 → 328 not taken.
✗ Branch 147 → 148 not taken.
✗ Branch 147 → 326 not taken.
✓ Branch 154 → 155 taken 1 time.
✗ Branch 154 → 159 not taken.
 1 ASSERT_FALSE(driver.cliOptions.generateTestMain);
94
2/12
✗ Branch 158 → 160 not taken.
✓ Branch 158 → 169 taken 1 time.
✗ Branch 160 → 161 not taken.
✗ Branch 160 → 346 not taken.
✗ Branch 161 → 162 not taken.
✗ Branch 161 → 342 not taken.
✗ Branch 163 → 164 not taken.
✗ Branch 163 → 340 not taken.
✗ Branch 164 → 165 not taken.
✗ Branch 164 → 338 not taken.
✓ Branch 171 → 172 taken 1 time.
✗ Branch 171 → 176 not taken.
 1 ASSERT_FALSE(driver.cliOptions.testMode);
95
2/12
✗ Branch 175 → 177 not taken.
✓ Branch 175 → 186 taken 1 time.
✗ Branch 177 → 178 not taken.
✗ Branch 177 → 358 not taken.
✗ Branch 178 → 179 not taken.
✗ Branch 178 → 354 not taken.
✗ Branch 180 → 181 not taken.
✗ Branch 180 → 352 not taken.
✗ Branch 181 → 182 not taken.
✗ Branch 181 → 350 not taken.
✓ Branch 188 → 189 taken 1 time.
✗ Branch 188 → 191 not taken.
 1 ASSERT_FALSE(driver.cliOptions.noEntryFct);
96
3/12
✓ Branch 190 → 192 taken 1 time.
✗ Branch 190 → 362 not taken.
✗ Branch 193 → 194 not taken.
✓ Branch 193 → 201 taken 1 time.
✗ Branch 194 → 195 not taken.
✗ Branch 194 → 368 not taken.
✗ Branch 196 → 197 not taken.
✗ Branch 196 → 365 not taken.
✗ Branch 197 → 198 not taken.
✗ Branch 197 → 363 not taken.
✓ Branch 203 → 204 taken 1 time.
✗ Branch 203 → 208 not taken.
 1 ASSERT_EQ(8, driver.cliOptions.compileJobCount); // -j 8
97
2/12
✗ Branch 207 → 209 not taken.
✓ Branch 207 → 218 taken 1 time.
✗ Branch 209 → 210 not taken.
✗ Branch 209 → 380 not taken.
✗ Branch 210 → 211 not taken.
✗ Branch 210 → 376 not taken.
✗ Branch 212 → 213 not taken.
✗ Branch 212 → 374 not taken.
✗ Branch 213 → 214 not taken.
✗ Branch 213 → 372 not taken.
✓ Branch 220 → 221 taken 1 time.
✗ Branch 220 → 223 not taken.
 1 ASSERT_TRUE(driver.cliOptions.dump.dumpAST); // -ast
98
1/2
✓ Branch 225 → 226 taken 1 time.
✗ Branch 225 → 228 not taken.
 1 }
99
100 4 TEST(DriverTest, TestTestSubcommandMinimal) {
101 1 const char *argv[] = {"spice", "test", "../../media/test-project/test.spice"};
102 static constexpr int argc = std::size(argv);
103
1/2
✓ Branch 2 → 3 taken 1 time.
✗ Branch 2 → 357 not taken.
 1 Driver driver(true);
104
1/2
✓ Branch 3 → 4 taken 1 time.
✗ Branch 3 → 355 not taken.
 1 driver.init();
105
4/14
✓ Branch 4 → 5 taken 1 time.
✗ Branch 4 → 214 not taken.
✓ Branch 5 → 6 taken 1 time.
✗ Branch 5 → 213 not taken.
✗ Branch 7 → 8 not taken.
✓ Branch 7 → 15 taken 1 time.
✗ Branch 8 → 9 not taken.
✗ Branch 8 → 220 not taken.
✗ Branch 10 → 11 not taken.
✗ Branch 10 → 217 not taken.
✗ Branch 11 → 12 not taken.
✗ Branch 11 → 215 not taken.
✓ Branch 17 → 18 taken 1 time.
✗ Branch 17 → 20 not taken.
 1 ASSERT_EQ(EXIT_SUCCESS, driver.parse(argc, argv));
106
1/2
✓ Branch 19 → 21 taken 1 time.
✗ Branch 19 → 355 not taken.
 1 driver.enrich();
107
108
2/12
✗ Branch 23 → 24 not taken.
✓ Branch 23 → 33 taken 1 time.
✗ Branch 24 → 25 not taken.
✗ Branch 24 → 232 not taken.
✗ Branch 25 → 26 not taken.
✗ Branch 25 → 228 not taken.
✗ Branch 27 → 28 not taken.
✗ Branch 27 → 226 not taken.
✗ Branch 28 → 29 not taken.
✗ Branch 28 → 224 not taken.
✓ Branch 35 → 36 taken 1 time.
✗ Branch 35 → 40 not taken.
 1 ASSERT_TRUE(driver.shouldCompile);
109
2/12
✗ Branch 39 → 41 not taken.
✓ Branch 39 → 50 taken 1 time.
✗ Branch 41 → 42 not taken.
✗ Branch 41 → 244 not taken.
✗ Branch 42 → 43 not taken.
✗ Branch 42 → 240 not taken.
✗ Branch 44 → 45 not taken.
✗ Branch 44 → 238 not taken.
✗ Branch 45 → 46 not taken.
✗ Branch 45 → 236 not taken.
✓ Branch 52 → 53 taken 1 time.
✗ Branch 52 → 57 not taken.
 1 ASSERT_FALSE(driver.shouldInstall);
110
2/12
✗ Branch 56 → 58 not taken.
✓ Branch 56 → 67 taken 1 time.
✗ Branch 58 → 59 not taken.
✗ Branch 58 → 256 not taken.
✗ Branch 59 → 60 not taken.
✗ Branch 59 → 252 not taken.
✗ Branch 61 → 62 not taken.
✗ Branch 61 → 250 not taken.
✗ Branch 62 → 63 not taken.
✗ Branch 62 → 248 not taken.
✓ Branch 69 → 70 taken 1 time.
✗ Branch 69 → 74 not taken.
 1 ASSERT_FALSE(driver.shouldUninstall);
111
2/12
✗ Branch 73 → 75 not taken.
✓ Branch 73 → 84 taken 1 time.
✗ Branch 75 → 76 not taken.
✗ Branch 75 → 268 not taken.
✗ Branch 76 → 77 not taken.
✗ Branch 76 → 264 not taken.
✗ Branch 78 → 79 not taken.
✗ Branch 78 → 262 not taken.
✗ Branch 79 → 80 not taken.
✗ Branch 79 → 260 not taken.
✓ Branch 86 → 87 taken 1 time.
✗ Branch 86 → 91 not taken.
 1 ASSERT_TRUE(driver.shouldExecute);
112
2/12
✗ Branch 90 → 92 not taken.
✓ Branch 90 → 101 taken 1 time.
✗ Branch 92 → 93 not taken.
✗ Branch 92 → 280 not taken.
✗ Branch 93 → 94 not taken.
✗ Branch 93 → 276 not taken.
✗ Branch 95 → 96 not taken.
✗ Branch 95 → 274 not taken.
✗ Branch 96 → 97 not taken.
✗ Branch 96 → 272 not taken.
✓ Branch 103 → 104 taken 1 time.
✗ Branch 103 → 106 not taken.
 1 ASSERT_TRUE(driver.cliOptions.execute);
113
5/16
✓ Branch 105 → 107 taken 1 time.
✗ Branch 105 → 288 not taken.
✓ Branch 107 → 108 taken 1 time.
✗ Branch 107 → 286 not taken.
✓ Branch 108 → 109 taken 1 time.
✗ Branch 108 → 284 not taken.
✗ Branch 112 → 113 not taken.
✓ Branch 112 → 120 taken 1 time.
✗ Branch 113 → 114 not taken.
✗ Branch 113 → 295 not taken.
✗ Branch 115 → 116 not taken.
✗ Branch 115 → 292 not taken.
✗ Branch 116 → 117 not taken.
✗ Branch 116 → 290 not taken.
✓ Branch 122 → 123 taken 1 time.
✗ Branch 122 → 125 not taken.
 1 ASSERT_EQ("../../media/test-project/test.spice", driver.cliOptions.mainSourceFile.relative_path().generic_string());
114
3/12
✓ Branch 124 → 126 taken 1 time.
✗ Branch 124 → 299 not taken.
✗ Branch 127 → 128 not taken.
✓ Branch 127 → 135 taken 1 time.
✗ Branch 128 → 129 not taken.
✗ Branch 128 → 305 not taken.
✗ Branch 130 → 131 not taken.
✗ Branch 130 → 302 not taken.
✗ Branch 131 → 132 not taken.
✗ Branch 131 → 300 not taken.
✓ Branch 137 → 138 taken 1 time.
✗ Branch 137 → 140 not taken.
 1 ASSERT_EQ(OptLevel::O0, driver.cliOptions.optLevel);
115
3/12
✓ Branch 139 → 141 taken 1 time.
✗ Branch 139 → 309 not taken.
✗ Branch 142 → 143 not taken.
✓ Branch 142 → 150 taken 1 time.
✗ Branch 143 → 144 not taken.
✗ Branch 143 → 315 not taken.
✗ Branch 145 → 146 not taken.
✗ Branch 145 → 312 not taken.
✗ Branch 146 → 147 not taken.
✗ Branch 146 → 310 not taken.
✓ Branch 152 → 153 taken 1 time.
✗ Branch 152 → 157 not taken.
 1 ASSERT_EQ(BuildMode::TEST, driver.cliOptions.buildMode); // -m test
116
2/12
✗ Branch 156 → 158 not taken.
✓ Branch 156 → 167 taken 1 time.
✗ Branch 158 → 159 not taken.
✗ Branch 158 → 327 not taken.
✗ Branch 159 → 160 not taken.
✗ Branch 159 → 323 not taken.
✗ Branch 161 → 162 not taken.
✗ Branch 161 → 321 not taken.
✗ Branch 162 → 163 not taken.
✗ Branch 162 → 319 not taken.
✓ Branch 169 → 170 taken 1 time.
✗ Branch 169 → 174 not taken.
 1 ASSERT_TRUE(driver.cliOptions.generateTestMain);
117
2/12
✗ Branch 173 → 175 not taken.
✓ Branch 173 → 184 taken 1 time.
✗ Branch 175 → 176 not taken.
✗ Branch 175 → 339 not taken.
✗ Branch 176 → 177 not taken.
✗ Branch 176 → 335 not taken.
✗ Branch 178 → 179 not taken.
✗ Branch 178 → 333 not taken.
✗ Branch 179 → 180 not taken.
✗ Branch 179 → 331 not taken.
✓ Branch 186 → 187 taken 1 time.
✗ Branch 186 → 191 not taken.
 1 ASSERT_FALSE(driver.cliOptions.testMode);
118
2/12
✗ Branch 190 → 192 not taken.
✓ Branch 190 → 201 taken 1 time.
✗ Branch 192 → 193 not taken.
✗ Branch 192 → 351 not taken.
✗ Branch 193 → 194 not taken.
✗ Branch 193 → 347 not taken.
✗ Branch 195 → 196 not taken.
✗ Branch 195 → 345 not taken.
✗ Branch 196 → 197 not taken.
✗ Branch 196 → 343 not taken.
✓ Branch 203 → 204 taken 1 time.
✗ Branch 203 → 206 not taken.
 1 ASSERT_TRUE(driver.cliOptions.noEntryFct);
119
1/2
✓ Branch 208 → 209 taken 1 time.
✗ Branch 208 → 211 not taken.
 1 }
120
121 4 TEST(DriverTest, TestTestSubcommandComplex) {
122 1 const char *argv[] = {"spice", "t", "-s", "-cst", "../../media/test-project/test.spice"};
123 static constexpr int argc = std::size(argv);
124
1/2
✓ Branch 2 → 3 taken 1 time.
✗ Branch 2 → 361 not taken.
 1 Driver driver(true);
125
1/2
✓ Branch 3 → 4 taken 1 time.
✗ Branch 3 → 359 not taken.
 1 driver.init();
126
4/14
✓ Branch 4 → 5 taken 1 time.
✗ Branch 4 → 216 not taken.
✓ Branch 5 → 6 taken 1 time.
✗ Branch 5 → 215 not taken.
✗ Branch 7 → 8 not taken.
✓ Branch 7 → 15 taken 1 time.
✗ Branch 8 → 9 not taken.
✗ Branch 8 → 222 not taken.
✗ Branch 10 → 11 not taken.
✗ Branch 10 → 219 not taken.
✗ Branch 11 → 12 not taken.
✗ Branch 11 → 217 not taken.
✓ Branch 17 → 18 taken 1 time.
✗ Branch 17 → 20 not taken.
 1 ASSERT_EQ(EXIT_SUCCESS, driver.parse(argc, argv));
127
1/2
✓ Branch 19 → 21 taken 1 time.
✗ Branch 19 → 359 not taken.
 1 driver.enrich();
128
129
2/12
✗ Branch 23 → 24 not taken.
✓ Branch 23 → 33 taken 1 time.
✗ Branch 24 → 25 not taken.
✗ Branch 24 → 234 not taken.
✗ Branch 25 → 26 not taken.
✗ Branch 25 → 230 not taken.
✗ Branch 27 → 28 not taken.
✗ Branch 27 → 228 not taken.
✗ Branch 28 → 29 not taken.
✗ Branch 28 → 226 not taken.
✓ Branch 35 → 36 taken 1 time.
✗ Branch 35 → 40 not taken.
 1 ASSERT_TRUE(driver.shouldCompile);
130
2/12
✗ Branch 39 → 41 not taken.
✓ Branch 39 → 50 taken 1 time.
✗ Branch 41 → 42 not taken.
✗ Branch 41 → 246 not taken.
✗ Branch 42 → 43 not taken.
✗ Branch 42 → 242 not taken.
✗ Branch 44 → 45 not taken.
✗ Branch 44 → 240 not taken.
✗ Branch 45 → 46 not taken.
✗ Branch 45 → 238 not taken.
✓ Branch 52 → 53 taken 1 time.
✗ Branch 52 → 57 not taken.
 1 ASSERT_FALSE(driver.shouldInstall);
131
2/12
✗ Branch 56 → 58 not taken.
✓ Branch 56 → 67 taken 1 time.
✗ Branch 58 → 59 not taken.
✗ Branch 58 → 258 not taken.
✗ Branch 59 → 60 not taken.
✗ Branch 59 → 254 not taken.
✗ Branch 61 → 62 not taken.
✗ Branch 61 → 252 not taken.
✗ Branch 62 → 63 not taken.
✗ Branch 62 → 250 not taken.
✓ Branch 69 → 70 taken 1 time.
✗ Branch 69 → 74 not taken.
 1 ASSERT_FALSE(driver.shouldUninstall);
132
2/12
✗ Branch 73 → 75 not taken.
✓ Branch 73 → 84 taken 1 time.
✗ Branch 75 → 76 not taken.
✗ Branch 75 → 270 not taken.
✗ Branch 76 → 77 not taken.
✗ Branch 76 → 266 not taken.
✗ Branch 78 → 79 not taken.
✗ Branch 78 → 264 not taken.
✗ Branch 79 → 80 not taken.
✗ Branch 79 → 262 not taken.
✓ Branch 86 → 87 taken 1 time.
✗ Branch 86 → 91 not taken.
 1 ASSERT_TRUE(driver.shouldExecute);
133
2/12
✗ Branch 90 → 92 not taken.
✓ Branch 90 → 101 taken 1 time.
✗ Branch 92 → 93 not taken.
✗ Branch 92 → 282 not taken.
✗ Branch 93 → 94 not taken.
✗ Branch 93 → 278 not taken.
✗ Branch 95 → 96 not taken.
✗ Branch 95 → 276 not taken.
✗ Branch 96 → 97 not taken.
✗ Branch 96 → 274 not taken.
✓ Branch 103 → 104 taken 1 time.
✗ Branch 103 → 106 not taken.
 1 ASSERT_TRUE(driver.cliOptions.execute);
134
5/16
✓ Branch 105 → 107 taken 1 time.
✗ Branch 105 → 290 not taken.
✓ Branch 107 → 108 taken 1 time.
✗ Branch 107 → 288 not taken.
✓ Branch 108 → 109 taken 1 time.
✗ Branch 108 → 286 not taken.
✗ Branch 112 → 113 not taken.
✓ Branch 112 → 120 taken 1 time.
✗ Branch 113 → 114 not taken.
✗ Branch 113 → 297 not taken.
✗ Branch 115 → 116 not taken.
✗ Branch 115 → 294 not taken.
✗ Branch 116 → 117 not taken.
✗ Branch 116 → 292 not taken.
✓ Branch 122 → 123 taken 1 time.
✗ Branch 122 → 125 not taken.
 1 ASSERT_EQ("../../media/test-project/test.spice", driver.cliOptions.mainSourceFile.relative_path().generic_string());
135
3/12
✓ Branch 124 → 126 taken 1 time.
✗ Branch 124 → 301 not taken.
✗ Branch 127 → 128 not taken.
✓ Branch 127 → 135 taken 1 time.
✗ Branch 128 → 129 not taken.
✗ Branch 128 → 307 not taken.
✗ Branch 130 → 131 not taken.
✗ Branch 130 → 304 not taken.
✗ Branch 131 → 132 not taken.
✗ Branch 131 → 302 not taken.
✓ Branch 137 → 138 taken 1 time.
✗ Branch 137 → 142 not taken.
 1 ASSERT_EQ(OptLevel::O0, driver.cliOptions.optLevel);
136
2/12
✗ Branch 141 → 143 not taken.
✓ Branch 141 → 152 taken 1 time.
✗ Branch 143 → 144 not taken.
✗ Branch 143 → 319 not taken.
✗ Branch 144 → 145 not taken.
✗ Branch 144 → 315 not taken.
✗ Branch 146 → 147 not taken.
✗ Branch 146 → 313 not taken.
✗ Branch 147 → 148 not taken.
✗ Branch 147 → 311 not taken.
✓ Branch 154 → 155 taken 1 time.
✗ Branch 154 → 159 not taken.
 1 ASSERT_TRUE(driver.cliOptions.generateTestMain);
137
2/12
✗ Branch 158 → 160 not taken.
✓ Branch 158 → 169 taken 1 time.
✗ Branch 160 → 161 not taken.
✗ Branch 160 → 331 not taken.
✗ Branch 161 → 162 not taken.
✗ Branch 161 → 327 not taken.
✗ Branch 163 → 164 not taken.
✗ Branch 163 → 325 not taken.
✗ Branch 164 → 165 not taken.
✗ Branch 164 → 323 not taken.
✓ Branch 171 → 172 taken 1 time.
✗ Branch 171 → 176 not taken.
 1 ASSERT_TRUE(driver.cliOptions.noEntryFct);
138
2/12
✗ Branch 175 → 177 not taken.
✓ Branch 175 → 186 taken 1 time.
✗ Branch 177 → 178 not taken.
✗ Branch 177 → 343 not taken.
✗ Branch 178 → 179 not taken.
✗ Branch 178 → 339 not taken.
✗ Branch 180 → 181 not taken.
✗ Branch 180 → 337 not taken.
✗ Branch 181 → 182 not taken.
✗ Branch 181 → 335 not taken.
✓ Branch 188 → 189 taken 1 time.
✗ Branch 188 → 193 not taken.
 1 ASSERT_TRUE(driver.cliOptions.dump.dumpCST); // -cst
139
2/12
✗ Branch 192 → 194 not taken.
✓ Branch 192 → 203 taken 1 time.
✗ Branch 194 → 195 not taken.
✗ Branch 194 → 355 not taken.
✗ Branch 195 → 196 not taken.
✗ Branch 195 → 351 not taken.
✗ Branch 197 → 198 not taken.
✗ Branch 197 → 349 not taken.
✗ Branch 198 → 199 not taken.
✗ Branch 198 → 347 not taken.
✓ Branch 205 → 206 taken 1 time.
✗ Branch 205 → 208 not taken.
 1 ASSERT_TRUE(driver.cliOptions.dump.dumpAssembly); // -s
140
1/2
✓ Branch 210 → 211 taken 1 time.
✗ Branch 210 → 213 not taken.
 1 }
141
142 4 TEST(DriverTest, TestInstallSubcommandMinimal) {
143 1 const char *argv[] = {"spice", "install", "../../media/test-project/test.spice"};
144 static constexpr int argc = std::size(argv);
145
1/2
✓ Branch 2 → 3 taken 1 time.
✗ Branch 2 → 332 not taken.
 1 Driver driver(true);
146
1/2
✓ Branch 3 → 4 taken 1 time.
✗ Branch 3 → 330 not taken.
 1 driver.init();
147
4/14
✓ Branch 4 → 5 taken 1 time.
✗ Branch 4 → 199 not taken.
✓ Branch 5 → 6 taken 1 time.
✗ Branch 5 → 198 not taken.
✗ Branch 7 → 8 not taken.
✓ Branch 7 → 15 taken 1 time.
✗ Branch 8 → 9 not taken.
✗ Branch 8 → 205 not taken.
✗ Branch 10 → 11 not taken.
✗ Branch 10 → 202 not taken.
✗ Branch 11 → 12 not taken.
✗ Branch 11 → 200 not taken.
✓ Branch 17 → 18 taken 1 time.
✗ Branch 17 → 20 not taken.
 1 ASSERT_EQ(EXIT_SUCCESS, driver.parse(argc, argv));
148
1/2
✓ Branch 19 → 21 taken 1 time.
✗ Branch 19 → 330 not taken.
 1 driver.enrich();
149
150
2/12
✗ Branch 23 → 24 not taken.
✓ Branch 23 → 33 taken 1 time.
✗ Branch 24 → 25 not taken.
✗ Branch 24 → 217 not taken.
✗ Branch 25 → 26 not taken.
✗ Branch 25 → 213 not taken.
✗ Branch 27 → 28 not taken.
✗ Branch 27 → 211 not taken.
✗ Branch 28 → 29 not taken.
✗ Branch 28 → 209 not taken.
✓ Branch 35 → 36 taken 1 time.
✗ Branch 35 → 40 not taken.
 1 ASSERT_TRUE(driver.shouldCompile);
151
2/12
✗ Branch 39 → 41 not taken.
✓ Branch 39 → 50 taken 1 time.
✗ Branch 41 → 42 not taken.
✗ Branch 41 → 229 not taken.
✗ Branch 42 → 43 not taken.
✗ Branch 42 → 225 not taken.
✗ Branch 44 → 45 not taken.
✗ Branch 44 → 223 not taken.
✗ Branch 45 → 46 not taken.
✗ Branch 45 → 221 not taken.
✓ Branch 52 → 53 taken 1 time.
✗ Branch 52 → 57 not taken.
 1 ASSERT_TRUE(driver.shouldInstall);
152
2/12
✗ Branch 56 → 58 not taken.
✓ Branch 56 → 67 taken 1 time.
✗ Branch 58 → 59 not taken.
✗ Branch 58 → 241 not taken.
✗ Branch 59 → 60 not taken.
✗ Branch 59 → 237 not taken.
✗ Branch 61 → 62 not taken.
✗ Branch 61 → 235 not taken.
✗ Branch 62 → 63 not taken.
✗ Branch 62 → 233 not taken.
✓ Branch 69 → 70 taken 1 time.
✗ Branch 69 → 74 not taken.
 1 ASSERT_FALSE(driver.shouldUninstall);
153
2/12
✗ Branch 73 → 75 not taken.
✓ Branch 73 → 84 taken 1 time.
✗ Branch 75 → 76 not taken.
✗ Branch 75 → 253 not taken.
✗ Branch 76 → 77 not taken.
✗ Branch 76 → 249 not taken.
✗ Branch 78 → 79 not taken.
✗ Branch 78 → 247 not taken.
✗ Branch 79 → 80 not taken.
✗ Branch 79 → 245 not taken.
✓ Branch 86 → 87 taken 1 time.
✗ Branch 86 → 91 not taken.
 1 ASSERT_FALSE(driver.shouldExecute);
154
2/12
✗ Branch 90 → 92 not taken.
✓ Branch 90 → 101 taken 1 time.
✗ Branch 92 → 93 not taken.
✗ Branch 92 → 265 not taken.
✗ Branch 93 → 94 not taken.
✗ Branch 93 → 261 not taken.
✗ Branch 95 → 96 not taken.
✗ Branch 95 → 259 not taken.
✗ Branch 96 → 97 not taken.
✗ Branch 96 → 257 not taken.
✓ Branch 103 → 104 taken 1 time.
✗ Branch 103 → 106 not taken.
 1 ASSERT_FALSE(driver.cliOptions.execute);
155
5/16
✓ Branch 105 → 107 taken 1 time.
✗ Branch 105 → 273 not taken.
✓ Branch 107 → 108 taken 1 time.
✗ Branch 107 → 271 not taken.
✓ Branch 108 → 109 taken 1 time.
✗ Branch 108 → 269 not taken.
✗ Branch 112 → 113 not taken.
✓ Branch 112 → 120 taken 1 time.
✗ Branch 113 → 114 not taken.
✗ Branch 113 → 280 not taken.
✗ Branch 115 → 116 not taken.
✗ Branch 115 → 277 not taken.
✗ Branch 116 → 117 not taken.
✗ Branch 116 → 275 not taken.
✓ Branch 122 → 123 taken 1 time.
✗ Branch 122 → 125 not taken.
 1 ASSERT_EQ("../../media/test-project/test.spice", driver.cliOptions.mainSourceFile.relative_path().generic_string());
156
3/12
✓ Branch 124 → 126 taken 1 time.
✗ Branch 124 → 284 not taken.
✗ Branch 127 → 128 not taken.
✓ Branch 127 → 135 taken 1 time.
✗ Branch 128 → 129 not taken.
✗ Branch 128 → 290 not taken.
✗ Branch 130 → 131 not taken.
✗ Branch 130 → 287 not taken.
✗ Branch 131 → 132 not taken.
✗ Branch 131 → 285 not taken.
✓ Branch 137 → 138 taken 1 time.
✗ Branch 137 → 142 not taken.
 1 ASSERT_EQ(OptLevel::O0, driver.cliOptions.optLevel);
157
2/12
✗ Branch 141 → 143 not taken.
✓ Branch 141 → 152 taken 1 time.
✗ Branch 143 → 144 not taken.
✗ Branch 143 → 302 not taken.
✗ Branch 144 → 145 not taken.
✗ Branch 144 → 298 not taken.
✗ Branch 146 → 147 not taken.
✗ Branch 146 → 296 not taken.
✗ Branch 147 → 148 not taken.
✗ Branch 147 → 294 not taken.
✓ Branch 154 → 155 taken 1 time.
✗ Branch 154 → 159 not taken.
 1 ASSERT_FALSE(driver.cliOptions.generateTestMain);
158
2/12
✗ Branch 158 → 160 not taken.
✓ Branch 158 → 169 taken 1 time.
✗ Branch 160 → 161 not taken.
✗ Branch 160 → 314 not taken.
✗ Branch 161 → 162 not taken.
✗ Branch 161 → 310 not taken.
✗ Branch 163 → 164 not taken.
✗ Branch 163 → 308 not taken.
✗ Branch 164 → 165 not taken.
✗ Branch 164 → 306 not taken.
✓ Branch 171 → 172 taken 1 time.
✗ Branch 171 → 176 not taken.
 1 ASSERT_FALSE(driver.cliOptions.testMode);
159
2/12
✗ Branch 175 → 177 not taken.
✓ Branch 175 → 186 taken 1 time.
✗ Branch 177 → 178 not taken.
✗ Branch 177 → 326 not taken.
✗ Branch 178 → 179 not taken.
✗ Branch 178 → 322 not taken.
✗ Branch 180 → 181 not taken.
✗ Branch 180 → 320 not taken.
✗ Branch 181 → 182 not taken.
✗ Branch 181 → 318 not taken.
✓ Branch 188 → 189 taken 1 time.
✗ Branch 188 → 191 not taken.
 1 ASSERT_FALSE(driver.cliOptions.noEntryFct);
160
1/2
✓ Branch 193 → 194 taken 1 time.
✗ Branch 193 → 196 not taken.
 1 }
161
162 4 TEST(DriverTest, TestUninstallSubcommandMinimal) {
163 1 const char *argv[] = {"spice", "uninstall", "../../media/test-project/test.spice"};
164 static constexpr int argc = std::size(argv);
165
1/2
✓ Branch 2 → 3 taken 1 time.
✗ Branch 2 → 332 not taken.
 1 Driver driver(true);
166
1/2
✓ Branch 3 → 4 taken 1 time.
✗ Branch 3 → 330 not taken.
 1 driver.init();
167
4/14
✓ Branch 4 → 5 taken 1 time.
✗ Branch 4 → 199 not taken.
✓ Branch 5 → 6 taken 1 time.
✗ Branch 5 → 198 not taken.
✗ Branch 7 → 8 not taken.
✓ Branch 7 → 15 taken 1 time.
✗ Branch 8 → 9 not taken.
✗ Branch 8 → 205 not taken.
✗ Branch 10 → 11 not taken.
✗ Branch 10 → 202 not taken.
✗ Branch 11 → 12 not taken.
✗ Branch 11 → 200 not taken.
✓ Branch 17 → 18 taken 1 time.
✗ Branch 17 → 20 not taken.
 1 ASSERT_EQ(EXIT_SUCCESS, driver.parse(argc, argv));
168
1/2
✓ Branch 19 → 21 taken 1 time.
✗ Branch 19 → 330 not taken.
 1 driver.enrich();
169
170
2/12
✗ Branch 23 → 24 not taken.
✓ Branch 23 → 33 taken 1 time.
✗ Branch 24 → 25 not taken.
✗ Branch 24 → 217 not taken.
✗ Branch 25 → 26 not taken.
✗ Branch 25 → 213 not taken.
✗ Branch 27 → 28 not taken.
✗ Branch 27 → 211 not taken.
✗ Branch 28 → 29 not taken.
✗ Branch 28 → 209 not taken.
✓ Branch 35 → 36 taken 1 time.
✗ Branch 35 → 40 not taken.
 1 ASSERT_FALSE(driver.shouldCompile);
171
2/12
✗ Branch 39 → 41 not taken.
✓ Branch 39 → 50 taken 1 time.
✗ Branch 41 → 42 not taken.
✗ Branch 41 → 229 not taken.
✗ Branch 42 → 43 not taken.
✗ Branch 42 → 225 not taken.
✗ Branch 44 → 45 not taken.
✗ Branch 44 → 223 not taken.
✗ Branch 45 → 46 not taken.
✗ Branch 45 → 221 not taken.
✓ Branch 52 → 53 taken 1 time.
✗ Branch 52 → 57 not taken.
 1 ASSERT_FALSE(driver.shouldInstall);
172
2/12
✗ Branch 56 → 58 not taken.
✓ Branch 56 → 67 taken 1 time.
✗ Branch 58 → 59 not taken.
✗ Branch 58 → 241 not taken.
✗ Branch 59 → 60 not taken.
✗ Branch 59 → 237 not taken.
✗ Branch 61 → 62 not taken.
✗ Branch 61 → 235 not taken.
✗ Branch 62 → 63 not taken.
✗ Branch 62 → 233 not taken.
✓ Branch 69 → 70 taken 1 time.
✗ Branch 69 → 74 not taken.
 1 ASSERT_TRUE(driver.shouldUninstall);
173
2/12
✗ Branch 73 → 75 not taken.
✓ Branch 73 → 84 taken 1 time.
✗ Branch 75 → 76 not taken.
✗ Branch 75 → 253 not taken.
✗ Branch 76 → 77 not taken.
✗ Branch 76 → 249 not taken.
✗ Branch 78 → 79 not taken.
✗ Branch 78 → 247 not taken.
✗ Branch 79 → 80 not taken.
✗ Branch 79 → 245 not taken.
✓ Branch 86 → 87 taken 1 time.
✗ Branch 86 → 91 not taken.
 1 ASSERT_FALSE(driver.shouldExecute);
174
2/12
✗ Branch 90 → 92 not taken.
✓ Branch 90 → 101 taken 1 time.
✗ Branch 92 → 93 not taken.
✗ Branch 92 → 265 not taken.
✗ Branch 93 → 94 not taken.
✗ Branch 93 → 261 not taken.
✗ Branch 95 → 96 not taken.
✗ Branch 95 → 259 not taken.
✗ Branch 96 → 97 not taken.
✗ Branch 96 → 257 not taken.
✓ Branch 103 → 104 taken 1 time.
✗ Branch 103 → 106 not taken.
 1 ASSERT_FALSE(driver.cliOptions.execute);
175
5/16
✓ Branch 105 → 107 taken 1 time.
✗ Branch 105 → 273 not taken.
✓ Branch 107 → 108 taken 1 time.
✗ Branch 107 → 271 not taken.
✓ Branch 108 → 109 taken 1 time.
✗ Branch 108 → 269 not taken.
✗ Branch 112 → 113 not taken.
✓ Branch 112 → 120 taken 1 time.
✗ Branch 113 → 114 not taken.
✗ Branch 113 → 280 not taken.
✗ Branch 115 → 116 not taken.
✗ Branch 115 → 277 not taken.
✗ Branch 116 → 117 not taken.
✗ Branch 116 → 275 not taken.
✓ Branch 122 → 123 taken 1 time.
✗ Branch 122 → 125 not taken.
 1 ASSERT_EQ("../../media/test-project/test.spice", driver.cliOptions.mainSourceFile.relative_path().generic_string());
176
3/12
✓ Branch 124 → 126 taken 1 time.
✗ Branch 124 → 284 not taken.
✗ Branch 127 → 128 not taken.
✓ Branch 127 → 135 taken 1 time.
✗ Branch 128 → 129 not taken.
✗ Branch 128 → 290 not taken.
✗ Branch 130 → 131 not taken.
✗ Branch 130 → 287 not taken.
✗ Branch 131 → 132 not taken.
✗ Branch 131 → 285 not taken.
✓ Branch 137 → 138 taken 1 time.
✗ Branch 137 → 142 not taken.
 1 ASSERT_EQ(OptLevel::O0, driver.cliOptions.optLevel);
177
2/12
✗ Branch 141 → 143 not taken.
✓ Branch 141 → 152 taken 1 time.
✗ Branch 143 → 144 not taken.
✗ Branch 143 → 302 not taken.
✗ Branch 144 → 145 not taken.
✗ Branch 144 → 298 not taken.
✗ Branch 146 → 147 not taken.
✗ Branch 146 → 296 not taken.
✗ Branch 147 → 148 not taken.
✗ Branch 147 → 294 not taken.
✓ Branch 154 → 155 taken 1 time.
✗ Branch 154 → 159 not taken.
 1 ASSERT_FALSE(driver.cliOptions.generateTestMain);
178
2/12
✗ Branch 158 → 160 not taken.
✓ Branch 158 → 169 taken 1 time.
✗ Branch 160 → 161 not taken.
✗ Branch 160 → 314 not taken.
✗ Branch 161 → 162 not taken.
✗ Branch 161 → 310 not taken.
✗ Branch 163 → 164 not taken.
✗ Branch 163 → 308 not taken.
✗ Branch 164 → 165 not taken.
✗ Branch 164 → 306 not taken.
✓ Branch 171 → 172 taken 1 time.
✗ Branch 171 → 176 not taken.
 1 ASSERT_FALSE(driver.cliOptions.testMode);
179
2/12
✗ Branch 175 → 177 not taken.
✓ Branch 175 → 186 taken 1 time.
✗ Branch 177 → 178 not taken.
✗ Branch 177 → 326 not taken.
✗ Branch 178 → 179 not taken.
✗ Branch 178 → 322 not taken.
✗ Branch 180 → 181 not taken.
✗ Branch 180 → 320 not taken.
✗ Branch 181 → 182 not taken.
✗ Branch 181 → 318 not taken.
✓ Branch 188 → 189 taken 1 time.
✗ Branch 188 → 191 not taken.
 1 ASSERT_FALSE(driver.cliOptions.noEntryFct);
180
1/2
✓ Branch 193 → 194 taken 1 time.
✗ Branch 193 → 196 not taken.
 1 }
181
182 } // namespace spice::testing
183