Fix additional typos: supress→suppress, seting→setting

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Author: Copilot

src/cdomain/value/cdomains/int/intDomTuple.ml

@@ -399,7 +399,7 @@ module IntDomTupleImpl = struct
   (** Project tuple t to precision p
    * We have to deactivate IntDomains after the refinement, since we might
    * lose information if we do it before. E.g. only "Interval" is active
-   * and shall be projected to only "Def_Exc". By seting "Interval" to None
+   * and shall be projected to only "Def_Exc". By setting "Interval" to None
    * before refinement we have no information for "Def_Exc".
    *
    * Thus we have 3 Steps:

tests/regression/70-transform/transform.sh

@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 # usage: transform.sh [--stdout] [--stderr] [--file] transform1 transform2 ... -- [goblint args] file.c
 # runs goblint with the given transformations active and outputs the transformed file to stdout
-# - unless --stdout/--stderr is passed, supress those streams
+# - unless --stdout/--stderr is passed, suppress those streams
 # - if --file is passed, output to a temporary file and print its path to stdout
 
 set -eu -o pipefail