Add regression test suite and CI workflow

.github/workflows/ci.yml

@@ -0,0 +1,32 @@
+name: CI
+
+on:
+  pull_request:
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  check:
+    name: fmt + clippy + test
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: dtolnay/rust-toolchain@stable
+        with:
+          components: rustfmt, clippy
+
+      - uses: Swatinem/rust-cache@v2
+
+      - name: Install system dependencies
+        run: sudo apt-get update && sudo apt-get install -y libdbus-1-dev pkg-config
+
+      - name: Check formatting
+        run: cargo fmt -- --check
+
+      - name: Clippy
+        run: cargo clippy --all-targets --keep-going -- -D warnings
+
+      - name: Run tests
+        run: cargo test --workspace --no-fail-fast

Cargo.toml

@@ -58,6 +58,13 @@ keyring = { version = "3.0" }
 inherits = "release"
 lto = "thin"
 
+[[bin]]
+name = "mock-probe-verus"
+path = "tests/helpers/mock_probe_verus.rs"
+test = false
+doc = false
+bench = false
+
 [dev-dependencies]
 tempfile = "3.24.0"
 

src/cli.rs

@@ -40,7 +40,6 @@ pub enum Commands {
     /// Reclone repository after checking for uncommitted changes
     Reclone,
     // ===== Structure Commands (merged from verilib-structure) =====
-
     /// Initialize structure files from source analysis
     Create {
         /// Project root directory (default: current working directory)