Stefan Marsiske

yes, i have the same problem. would be awesome to have this.

my workaround was to just do a `sysctl net.ipv4.ip_unprivileged_port_start=442` and thus i can bind to port 443 from inside the bubblewrap.

anyway, this: > bubblewrap will not give you the ability to bind privileged ports if you could not already bind privileged ports outside its container. If it did, that would...

thanks! i wonder if i can do ```python pickle.loads(pickle.dumps(solver.constraints)) ```

strange, if i insert this code into mine right before i call `s.eval()` it just makes my fan go loud: ```python import pickle c = pickle.dumps(s.constraints) s = Solver() s.add(pickle.loads(c))...

I did this: ```python print(s.constraints, file=sys.stderr) print("asdfqwer", file=sys.stderr) import pickle start = time.time() print(f"[t] 00:00:00 serializing constraints") c = pickle.dumps(s.constraints) delta = datetime.timedelta(seconds=time.time() - start) print(f"[t] {str(delta)} serialized constraints") s...

would you have a look if i shared the script with you?

interesting to know that z3 adds these incremental assertions due to my sanity checks. how about pulling the z3 extra asserts back into python land when the dev explicitly calls...

btw for anyone curious the script that is the testcase for this can be found here: https://github.com/stef/px1000cr/blob/master/px1k-claripy.py

hmmm, maybe this is not quite correct yet. i get segfaults in `intel-opencl/libigdrcl.so` - can anyone else test this if this is my setup that is borken or if this...