Enable constraints check on Linux

Signed-off-by: Alan Jowett <[email protected]>
iovisor · Oct 26, 2024 · 0c5204c · 0c5204c
1 parent 78729ed
commit 0c5204c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/fuzzing.yml b/.github/workflows/fuzzing.yml
@@ -224,7 +224,7 @@ jobs:
       if: matrix.platform == 'ubuntu-24.04'
       run: |
         ls
-        ./ubpf_fuzzer new_corpus -artifact_prefix=artifacts/ -use_value_profile=1 -max_total_time=300 -dict=dictionary.txt
+        UBPF_FUZZER_CONSTRAINT_CHECK=1 ./ubpf_fuzzer new_corpus -artifact_prefix=artifacts/ -use_value_profile=1 -max_total_time=300 -dict=dictionary.txt
 
     - name: Run fuzzing
       if: matrix.platform == 'windows-latest'

diff --git a/external/ebpf-verifier b/external/ebpf-verifier