Csmith checksum

.pre-commit-config.yaml

@@ -1,19 +1,19 @@
 repos:
 -   repo: https://github.com/psf/black
-    rev: 23.3.0
+    rev: 24.2.0
     hooks:
     -   id: black
 -   repo: https://github.com/PyCQA/isort
-    rev: 5.12.0
+    rev: 5.13.2
     hooks:
     -   id: isort
         args: ['--profile', 'black']
 -   repo: https://github.com/PyCQA/flake8
-    rev: 6.0.0
+    rev: 7.0.0
     hooks:
     -   id: flake8
 -   repo: https://github.com/pre-commit/mirrors-mypy
-    rev: v1.3.0
+    rev: v1.8.0
     hooks:
     -   id: mypy
         additional_dependencies: [pytest >= 7.0.0]

diopter/compiler.py

@@ -47,6 +47,7 @@
 # The output should be 2
 assert output.stdout.strip() == "2"
 """
+
 from __future__ import annotations
 
 import argparse
@@ -1185,9 +1186,11 @@ def get_compilation_cmd(
                     str(self.compiler.exe),
                     f"-{self.opt_level.name}",
                 ),
-                (program[0].language.get_language_flag(),)
-                if include_language_flags
-                else ("",),
+                (
+                    (program[0].language.get_language_flag(),)
+                    if include_language_flags
+                    else ("",)
+                ),
                 self.flags,
                 (f"-I{path}" for path in self.include_paths),
                 (f"-isystem{path}" for path in self.system_include_paths),

diopter/generator.py

@@ -89,7 +89,6 @@ class CSmithGenerator(Generator):
     default_options_pool = [
         "arrays",
         "bitfields",
-        "checksum",
         "comma-operators",
         "compound-assignment",
         "consts",

diopter/reducer.py

@@ -20,6 +20,7 @@ def test(self, program: SourceProgram) -> bool:
 if rprogram:
     #the reduction was successful
 """
+
 import inspect
 import logging
 import os

diopter/sanitizer.py

@@ -11,6 +11,7 @@
 if not sanitizer.sanitize(program):
     # the program is broken
 """
+
 from __future__ import annotations
 
 import subprocess

setup.cfg

@@ -1,6 +1,6 @@
 [metadata]
 name = diopter
-version = 0.0.26
+version = 0.0.27
 author = Theodoros Theodoridis, Yann Girsberger
 author_email = [email protected]
 description = A library for building differential tests