traffic-rule-info.h:18:10: fatal error: z3++.h: No such file or directory

zqzqz / AVChecker

Code for Paper "A Systematic Framework to Identify Violations of Scenario-dependent Driving Rules in Autonomous Vehicle Software"

7 stars 2 forks source link

traffic-rule-info.h:18:10: fatal error: z3++.h: No such file or directory #2

Open 853108389 opened 1 year ago

853108389 commented 1 year ago

I have installed z3 Z3 was successfully installed., when I run bash demo.sh , I get this information: traffic-rule-info.h:18:10: fatal error: z3++.h: No such file or directory and Exception: ls: not found