Add parser test with valid sample messages

Messages in PCAP  format from https://gitlab.com/wireshark/wireshark/-/wikis/uploads/__moin_import__/attachments/SampleCaptures/coap-cbor.pcap

This depends to work on AdaCore/RecordFlux#1304

.gitignore

@@ -20,4 +20,5 @@
 /config/
 
 # Recordflux
-/generated/
+/generated/
+/.rflx_cache/

.vscode/settings.json

@@ -1,4 +1,5 @@
 {
     "makefile.configureOnOpen": true,
-    "ada.projectFile": "coap_spark.gpr"
+    "ada.projectFile": "coap_spark.gpr",
+    "sarif-viewer.connectToGithubCodeScanning": "off"
 }

Makefile

@@ -1,5 +1,5 @@
-RFLX_HOME := tools/RecordFlux/.venv/bin
-RFLX := $(RFLX_HOME)/rflx
+RFLX_HOME := tools/RecordFlux/
+RFLX := $(RFLX_HOME)/.venv/bin/rflx
 SPECS = $(wildcard specs/*.rflx)
 GNATPROVE := gnatprove
 
@@ -22,6 +22,11 @@ generate: $(GENERATED)
 $(GENERATED): $(SPECS)
 	@mkdir -p $(dir $@)
 	@$(RFLX) generate -d $(dir $@) $<
+	@$(RFLX) graph -d $(dir $@) $<
+
+test:
+	$(MAKE) -C tests test
+.PHONY: test
 
 clean:
 	rm -r $(dir $(GENERATED))

coap_spark.gpr

@@ -4,7 +4,7 @@ project Coap_Spark is
    for Library_Name use "Coap_Spark";
    for Library_Version use Project'Library_Name & ".so." & Coap_Spark_Config.Crate_Version;
 
-   for Source_Dirs use ("src/", "config/");
+   for Source_Dirs use ("src/", "config/", "generated/", "generated/specs/");
    for Object_Dir use "obj/" & Coap_Spark_Config.Build_Profile;
    for Create_Missing_Dirs use "True";
    for Library_Dir use "lib";

src/coap_spark.ads

@@ -1,3 +1,5 @@
+with RFLX.CoAP;
+
 package Coap_Spark is
 
 end Coap_Spark;

tests/Makefile

@@ -0,0 +1,7 @@
+RFLX_HOME := ../tools/RecordFlux/
+RFLX := $(RFLX_HOME)/.venv/bin/rflx
+
+test:
+	$(RFLX_HOME)/tools/extract_packets.py --payload inet.UDP samples/coap-cbor.pcap samples/
+	rflx validate -v samples/ ../specs/coap.rflx CoAP::CoAP_Message
+.PHONY: test

tests/samples/.gitignore

@@ -0,0 +1 @@
+*.raw