C-Reduce error

[sazan10]

I recently came across your blog post, "You Can Use C-Reduce for Any Language". It is quite insightful and I followed the exact steps. However, when I run c-reduce, I am constantly facing an error. My environment includes Ubuntu 24, LLVM-18, and Clang-18, rust 1.8. I built RustPython after cloning its GitHub repository and using:

cargo run --release demo_closures.py

I cloned the scrapscript repo and the interstingness file is the same as in the blog post:

#!/bin/bash 
set -eu # Note the absolute path to the binary, which is not in $PATH 
/path_to_RustPython/target/release/rustpython scrapscript.py 2>&1 | grep "tried to push value onto stack but overflowed max_stackdepth".

When I manually run the interestingness script it gives me the expected error with message "tried to push value onto stack but overflowed max_stackdepth":

I executed C-Reduce using the command:

creduce --not-c interesting.sh scrapscript.py 

However, when I run c-reduce, I consistently encounter the "does not return exit 0" error. I have tried using c-reduce installed via both package manager(apt) and from source. Could you provide insights into what might be causing this error? Have I potentially overlooked any specific environment setup or configuration? Thanks.

[tekknolagi]

Two things: 1) is interesting.sh marked executable? 2) can you manually get it to exit with 0?

[sazan10]

Yes, interesting.sh is marked executable and it exits with 0. I have tried to run it manually and it works fine giving the expected error message "tried to push value onto stack but overflowed max_stackdepth":