Felix G.

Results 9 comments of Felix G.

I tried to reproduce the mentioned example for "1580_A. Portal" using Python 3.9 but it succeeds for me. Can you try installing python3.9 and rerunning with `--python3_path=/usr/bin/python3.9 --python3_library_paths=/usr/lib/python3.9` ?

Closing this as I cannot reproduce.

Sorry for the delay I have verified this error and found a fix. This is an error caused by using Python 3.10 when trying to build one of the dependencies...

Can you try with newer versions of gcc or clang? clang 14 seems to work

It looks like for some reason the syscall `arch_prctl` is needed can you try adding said syscall to this line and re-executing these? It should solve this error ``` builder.AllowSyscall(__NR_arch_prctl);...

Can you try gcc version (Debian 12.2.0-10) 12.2.0 clang version (Debian clang version 14.0.6-2) on debian/ubuntu?

There are no current plans to release a dataset and/or update the github repo as far as I know. Thank you for the kind words.

We don't have plans to release the code for the generated tests. The overall idea is to replace random subset of pre-existing inputs with similar elements (strings with strings, numbers...