[nix] pyaml is a required dependency for tests

nix/frama-c.nix

@@ -43,6 +43,7 @@
 , dos2unix
 , doxygen
 , python3
+, python3Packages
 , release_mode ? false
 }:
 
@@ -101,6 +102,7 @@ stdenvNoCC.mkDerivation rec {
     dos2unix
     doxygen
     python3
+    python3Packages.pyaml
   ];
 
   outputs = [ "out" "build_dir" ];

nix/internal-tests.nix

@@ -47,6 +47,7 @@
 , perl
 , pkgs
 , python3
+, python3Packages
 , swiProlog
 , time
 , wp-cache
@@ -107,6 +108,7 @@ stdenvNoCC.mkDerivation rec {
     perl
     pkgs.getopt
     python3
+    python3Packages.pyaml
     swiProlog
     time
   ];