tangken333

Results 3 issues of tangken333

Faced a crash while running the saber for a llvm-15 IR. ![1713363119605](https://github.com/SVF-tools/SVF/assets/39759109/2a98e65c-f5f7-400a-853d-2e1958e8ae00) The IR file is attached. [Uploading zkevm_circuits-039281c79cc41144.ll.zip…]()

bug

### Describe the bug Face a image build crash while evaluation of pallets__flask-4045 issue. [pallets__flask-4045.txt](https://github.com/user-attachments/files/16557906/pallets__flask-4045.txt) ### Steps/Code to Reproduce `python -m swebench.harness.run_evaluation --dataset_name princeton-nlp/SWE-bench_Lite --predictions_path predictions_for_swebench.json --max_workers 10 --run_id 173...

bug

Hii, I am using the run_setup.py to build the swe-bench environment. But I face two problems there: My command is: `python harness/run_setup.py --log_dir logs --testbed testbed --result_dir setup_result --subset_file /opt/PatchingAgent/swe_lite_tasks.txt...