missing parameter test

tests/gen/shift.fil

@@ -0,0 +1,10 @@
+import "primitives/state.fil";
+/// A simple shift register component that delays a signal by D cycles.
+comp main[W, D]<'G: 1>(
+   in: ['G, 'G+1] W
+) -> (
+   out: ['G+D, 'G+D+1] W
+) where W > 0 {
+   shift := new Shift[W, D]<'G>(in);
+   out = shift.out{0};
+}

tests/gen/shift/5.expect

@@ -0,0 +1,11 @@
+{
+"interfaces": [
+{"name": "null", "event": "G", "delay": 1, "states": 6, "phantom": true }
+],
+"inputs": [
+{ "event": "G", "name": "in", "width": 32 , "start": 0, "end": 1 }
+],
+"outputs": [
+{ "event": "G", "name": "out", "width": 32 , "start": 5, "end": 6 }
+]
+}

tests/gen/shift/5.toml

@@ -0,0 +1 @@
+params = [32, 5]

tests/gen/shift/6.expect

@@ -0,0 +1,11 @@
+{
+"interfaces": [
+{"name": "null", "event": "G", "delay": 1, "states": 7, "phantom": true }
+],
+"inputs": [
+{ "event": "G", "name": "in", "width": 32 , "start": 0, "end": 1 }
+],
+"outputs": [
+{ "event": "G", "name": "out", "width": 32 , "start": 6, "end": 7 }
+]
+}

tests/gen/shift/6.toml

@@ -0,0 +1 @@
+params = [32, 6]

tests/gen/shift/missing.expect

@@ -0,0 +1,11 @@
+---CODE---
+1
+---STDERR---
+error: `main' requires at least 2 parameters but 1 were provided
+  ┌─ tests/gen/shift.fil:3:6
+  │
+3 │ comp main[W, D]<'G: 1>(
+  │      ^^^^ `main' requires at least 2 parameters but 1 were provided
+
+Compilation failed with 1 errors.
+Run with --show-models to generate assignments for failing constraints.

tests/gen/shift/missing.toml

@@ -0,0 +1,2 @@
+# Missing the D parameter
+params = [32]