J'ai obtenu deux fichiers: file1 avec environ 10 000 lignes et file2 avec quelques centaines de lignes. Je veux vérifier si toutes les lignes de file2 se trouvent dans file1. Soit: ∀ ligne ℓ ∈ fichier2: ℓ ∈ fichier1
Si quelqu'un ne sait pas ce que ces symboles signifient ou ce que "vérifier si toutes les lignes du fichier2 se produisent dans le fichier1" signifie: Plusieurs lignes équivalentes dans les deux fichiers n'influencent pas si la vérification retourne que les fichiers répondent ou non à l'exigence.
Comment puis-je faire cela?
file2
contient 2 lignesA
, devez-vousfile1
contenir au moins 2 lignesA
?