Ho ottenuto due file: file1 con circa 10.000 righe e file2 con poche centinaia di righe. Voglio verificare se tutte le righe di file2 sono presenti in file1. Cioè: ∀ riga ℓ ∈ file2: ℓ ∈ file1
Qualcuno non dovrebbe sapere cosa significano questi simboli o cosa significhi "verificare se tutte le righe del file2 si presentano nel file1": Diverse righe equivalenti in entrambi i file non influenzano se il controllo restituisce che i file soddisfano il requisito o meno.
Come faccio a fare questo?
file2
contiene 2 righeA
, devifile1
contenere almeno 2 righeA
?