[csmith-project/creduce] 16766b: foo

[John Regehr <noreply@github.com>]

  Branch: refs/heads/creduce-2.11
  Home:   https://github.com/csmith-project/creduce
  Commit: 16766bb4858def65acc4d8bd03b7f1bcdda0aa24
      https://github.com/csmith-project/creduce/commit/16766bb4858def65acc4d8bd03b7f1bcdda0aa24
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2023-06-13 (Tue, 13 Jun 2023)

  Changed paths:
    M CMakeLists.txt

  Log Message:
  -----------
  foo