Xiaodong Zhang

icon indicating an email [email protected]

icon location Focus on software security, software testing, and formal verification.

Results 2 comments of Xiaodong Zhang

It dosen't work for run_amp.py

> What difference will be brought? I tried, it didnt work.

It dosen't work for run_amp.py

> clamp_common_eval You mean for the project design-bench and clamp_common_eval?